Toggle Main Menu Toggle Search

Open Access padlockePrints

On Equivalent Execution Semantics of Concurrent Systems

Lookup NU author(s): Professor Maciej Koutny

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

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

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


Actions

Link to this publication


Share