Browse by author
Lookup NU author(s): Professor Maciej KoutnyORCiD
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Various execution semantics of concurrent systems are formally defined and investigated. The problem of the existence of minimal execution semantics equivalent to the semantics expressed intuitively as ldquoexecute as possiblerdquo is studied. The positive answer to that problem is given.
Author(s): Janicki R, Koutny M
Editor(s): Rozenberg, G.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 7th European Workshop on Applications and Theory of Petri Nets (APN)
Year of Conference: 1986
Pages: 89-103
ISSN: 0302-9743 (Print) 1611-3349 (Online)
Publisher: Springer-Verlag
URL: http://dx.doi.org/10.1007/3-540-18086-9_21
DOI: 10.1007/3-540-18086-9_21
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 9783540180869
