Infinite possible worlds for process algebras

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 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: