Approximate bisimilarity

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1816, Issue , 2000, Pages 309-322

  Ying, Mingsheng ^a   Wirsing, Martin ^b  

^a TSINGHUA UNIVERSITY   (China)

^b UNIVERSITY OF MUNICH   (Germany)

Author keywords

Bisimulation; Process algebra; Real time ACP

Indexed keywords

ALGEBRA; INTERACTIVE COMPUTER SYSTEMS; SOFTWARE ENGINEERING;

BISIMILARITY; BISIMULATIONS; LABELLED TRANSITION SYSTEMS; LOGICAL CHARACTERIZATION; PROCESS ALGEBRAS; REAL TIME;

REAL TIME SYSTEMS;

EID: 84974724321     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45499-3_23     Document Type: Conference Paper

References (12)

1. A. Arnold and M. Nivat. Metric Interpretations of Infinite Trees and Semantics of Nondeterministic Recursive Programs. Theoretical Computer Science, 11:181-205, 1980.
2. A. Arnold and M. Nivat. The Metric Space of Infinite Trees, Algebraic and Topological Properties. Fundamenta Informaticae, 4:445-476, 1980.
3. J. C. M. Baeten and J. Bergstra. Real-Time Process Algebra. Formal Aspects of Computing, 3:142-188, 1991.
4. J. W. de Bakker and J. J. M. M. Rutten, editors. Ten Years of Concurrency Se-mantics, Selected Papers of the Amsterdam Concurreny Group. World Scientific, Singapore, 1992.
5. J. W. de Bakker and J. I. Zucker. Processes and the Denotational Semantics of Concurrency. Information and Control, 54:70-120, 1982.
6. J. N. Kok and J. J. M. M. Rutten. Contractions in Comparing Concurrency Semantics. Theoretical Computer Science, 76:179-222, 1990.
7. R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer, Berlin, 1980.
8. R. Milner. Communication and Concurrency. Prentice Hall, New York, 1989.
9. F. van Breugel. Comparative Metric Semantics of Programming Languages: Non-determinism and Recursion. Birkhäuser, Boston, 1998.
10. 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.
11. 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.
12. 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.