Infinite possible worlds for process algebras


Majster-Cederbaum, Mila


[img]
Preview
PDF
1998_19.pdf - Published

Download (499kB)

URL: https://ub-madoc.bib.uni-mannheim.de/1938
URN: urn:nbn:de:bsz:180-madoc-19381
Document Type: Working paper
Year of publication: 1998
The title of a journal, publication series: Technical Reports
Volume: 98-019
Place of publication: Mannheim
Publication language: English
Institution: School of Business Informatics and Mathematics > Sonstige - Fakultät für Mathematik und Informatik
MADOC publication series: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Subject: 004 Computer science, internet
Subject headings (SWD): Nebenläufigkeit , Prozessalgebra
Keywords (English): 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.
Additional information:

Dieser Eintrag ist Teil der Universitätsbibliographie.

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




+ Citation Example and Export

Majster-Cederbaum, Mila (1998) Infinite possible worlds for process algebras. Open Access Technical Reports Mannheim 98-019 [Working paper]
[img]
Preview


+ Search Authors in

+ Download Statistics

Downloads per month over past year

View more statistics



You have found an error? Please let us know about your desired correction here: E-Mail


Actions (login required)

Show item Show item