We introduce a notion of approximate bisimilarity in order to be able to reason about the approximate equivalence of processes. Approximate bisimilarity is based on the notion of bisimulation index for labelled transition systems. We establish some basic properties of bisimulation indexes and give a Hennessy-Milner logical characterization of approximate bisimilarity. As an application we show how to describe approximate correctness of real time systems by giving an example in real time ACP.
KeywordsProcess Algebra Bisimulation Real Time ACP
Unable to display preview. Download preview PDF.
- J. W. de Bakker and J. J. M. M. Rutten, editors. Ten Years of Concurrency Semantics, Selected Papers of the Amsterdam Concurreny Group. World Scientific, Singapore, 1992.Google Scholar
- R. J. van Glabbeek and J. J. M. M. Rutten. The Processes of de Bakker and Zucker Represent Bisimulation Equivalences Classes. In J. W. de Bakker, editor, 25 Jaar Semantik, Liber Amicorum, pages 243–246. CWI, Amsterdam, 1989.Google Scholar
- Y. Wang. Real-Time Behaviour of Asynchronous Agents. In J. C. M. Baeten and J. W. Klop, editors, Proc. CONCUR’90, volume 458 of Lecture Notes in Computer Science, pages 502–520. Springer, Berlin, 1990.Google Scholar
- M. S. Ying and M. Wirsing. Approximate Bisimilarity and Its Applications. Technical report 9906, Institut für Informatik, Ludwig-Maximilians-Universität München, 1999.Google Scholar