Infinite possible worlds for process algebras


Majster-Cederbaum, Mila


[img]
Vorschau
PDF
1998_19.pdf - Veröffentlichte Version

Download (499kB)

URL: https://ub-madoc.bib.uni-mannheim.de/1938
URN: urn:nbn:de:bsz:180-madoc-19381
Dokumenttyp: Arbeitspapier
Erscheinungsjahr: 1998
Titel einer Zeitschrift oder einer Reihe: Technical Reports
Band/Volume: 98-019
Ort der Veröffentlichung: Mannheim
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Sonstige - Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik
MADOC-Schriftenreihe: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Fachgebiet: 004 Informatik
Normierte Schlagwörter (SWD): Nebenläufigkeit , Prozessalgebra
Freie Schlagwörter (Englisch): denotational semanties , concurrency , specification
Abstract: [VD98] propose to view a finite nondeterministic process as a specification for a set of deterministic implementations: its possible worlds or model space. Refinement amounts to inclusion of possible worlds. We consider here the extension to infinite processes. We study the properties of possible worlds semanties, answer in particular an open question concerning the relation between bisimulation and possible worlds equivalence and discuss operational aspects.
Zusätzliche Informationen:




Dieser Eintrag ist Teil der Universitätsbibliographie.

Das Dokument wird vom Publikationsserver der Universitätsbibliothek Mannheim bereitgestellt.




Metadaten-Export


Zitation


+ Suche Autoren in

+ Download-Statistik

Downloads im letzten Jahr

Detaillierte Angaben



Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail


Actions (login required)

Eintrag anzeigen Eintrag anzeigen