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