Toggle Main Menu Toggle Search

Open Access padlockePrints

Towards a Theory of Simulation for Verification 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.


We here investigate whether it is possible to provide the designer of a concurrent system with a sound and efficient simulation technique enabling reasoning about important behavioural properties of the system. We introduce the notion of a simulation defined as a subset of the possible execution paths generated by the system, and demonstrate that under some conditions the simulation provides a sufficient information to reason about a number of interesting properties of the system. We then show that there always exists a simulation which provides the required behavioural information and involves a minimal computational effort.

Publication metadata

Author(s): Janicki R, Koutny M

Editor(s): Odijk, E., Rem, M., Syre, J.-C.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 2nd International Symposium on Parallel Architectures and Languages Europe (PARLE)

Year of Conference: 1989

Pages: 73-88

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer-Verlag


DOI: 10.1007/3-540-51285-3_34

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540512851