Infinite possible worlds for process algebras

Majster-Cederbaum, Mila

1998_19.pdf - Published

Download (499kB)

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 Wirtschaftsinformatik und Wirtschaftsmathematik
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.

Metadata export


+ 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