In: Odijk, E.: Lecture Notes in Computer Science, Vol. 366; PARLE'89, Vol. 2: Proceedings of the Conference on Parallel Architectures and Languages Europe, pages 73-88. Berlin: Springer, 1989.
Abstract: The authors investigate whether it is possible to provide the designer of a concurrent system with a sound and efficient simulation technique. They introduce the notion of a simualtion defined as a subset of the possible execution paths, and demonstrate that under some conditions the simulation provides a sufficient information to reason about a number of interesting properties of the system. They then show that there always exists a simulation which provides the required behavioural information and involves a minimal computational effort.
Keywords: simulation; verification; execution path; minimal computational effort.