The complete axiomatization of Cs-congruence

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

Volumn 775 LNCS, Issue , 1994, Pages 557-568

  Parrow, Joachim ^a,b,c   Sjödin, Peter ^a  

^a SWEDISH INSTITUTE OF COMPUTER SCIENCE   (Sweden)

^b ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

^c UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

AXIOMATIZATION; COMPLETE AXIOMATIZATIONS; COUPLED SIMULATION; OBSERVATION CONGRUENCES; OBSERVATION EQUIVALENCE; STABLE STATE; TRANSITION SYSTEM; WEAK BISIMULATIONS;

ARTIFICIAL INTELLIGENCE;

EID: 21344483252     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-57785-8_171     Document Type: Conference Paper

References (10)

1. R. Cleaveland, J. Parrow, and B. Steffen. A semantics-based verification tool for finitestate systems. In E. Brinksma, G. Scollo, and C. A. Vissers, editors, Protocol Specification, Testing, and Verification, IX, pages 287-302. North-Holland, 1989.
2. M. Hennessy. Algebraic Theory of Processes. The MIT Press, 1988.
3. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985.
4. R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1980.
5. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
6. J. Parrow and P. Sjödin. Multiway synchronization verified with coupled simulation. In W. R. Cleaveland, editor, Proceedings of CONCUR ‘92, volume 630 of Lecture Notes in Computer Science, pages 518-533. Springer-Verlag, 1992.
7. J. Parrow and P. Sjödin. The complete axiomatization of cs-congruence. Research report, Swedish Institute of Computer Science, 1994. In preparation.
8. R. J. van Glaabeek. De semantiek van eidige, sequentiËle processes met interne acties. Syllabus processemantieken, deel 2. Handwritten manuscript, in Dutch, 1988.
9. R. J. van Glaabeek. The linear time — branching time spectrum II. In E. Best, editor, Proceedings of CONCUR ‘93, volume 715 of Lecture Notes in Computer Science, pages 66-80. Springer-Verlag, 1993.
10. R. J. van Glabbeek. Comparative Concurrency Semantics and Refinement of Actions. PhD thesis, Free University of Amsterdam, The Netherlands, 1990.