A Theory for Simulators

Open Access
Publisher Website
Google Scholar
Abstract
This paper presents a formalization of the notion simulator for process languages like ACP, CCS, (μ) CRL, LOTOS and PSF. Precise definitions for the notions simulator and simulation are given. Moreover, the equivalence that a simulator induces on the explored process terms is investigated. This is done by considering two processes p and q equivalent if each simulation of p is also a simulation of q and vice versa. It is proven that there is no ‘reasonable’ simulator inducing bisimulation equivalence.

This publication has 0 references indexed in Scilit: