Lookup NU author(s): Professor Maciej Koutny
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
ISSN: 0302-9743 (Print) 1611-3349 (Online)
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science