Toggle Main Menu Toggle Search

Open Access padlockePrints

Invariants and Paradigms of Concurrency Theory

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

We introduce a new invariant semantics of concurrent systems which is a direct generalisation of the causal partial order semantics. Our new semantics overcomes some of the problems encountered when one uses causal partial orders alone. We discuss various aspects of the new invariant model. In particular, we outline how the new invariants can be generated by I-safe inhibitor Petri nets.


Publication metadata

Author(s): Janicki R, Koutny M

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Future Generation Computer Systems: Papers from the Workshop on Parallel and distributed workstation systems

Year of Conference: 1992

Pages: 423-435

ISSN: 0167-739X

Publisher: Elsevier Science Publishers BV

URL: http://dx.doi.org/10.1016/0167-739X(92)90073-K

DOI: 10.1016/0167-739X(92)90073-K

Library holdings: Search Newcastle University Library for this item

ISBN: 18727115


Actions

Find at Newcastle University icon    Link to this publication


Share