Toggle Main Menu Toggle Search

Open Access padlockePrints

On Equivalent Execution Semantics of Concurrent Systems

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.

Publication metadata

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


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