Verifying a protocol using relativized bisimulation

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

Volumn 267 LNCS, Issue , 1987, Pages 126-135

  Larsen, Kim G ^a   Milner, Robin ^b  

^a AALBORG UNIVERSITY   (Denmark)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85027649155     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-18088-5_11     Document Type: Conference Paper

References (11)

1. J.A. Bergstra and J.W. Klop: Verification of an Alternating Bit Protocol by means of Process Algebra, Centrum voor Wiskunde en Informatica, Amsterdam, 1984.
2. C.P.J. Koymans and J.C. Mulder: A Modular Approach to Protocol Verification using Process Algebra, University of Utrecht, Department of Philosophy, Logic Group, Preprint Series no. 6.
3. K.G. Larsen: A Context Dependent Equivalence between Processes, ICALP’85, LNCS 194. Full version to appear in TCS.
4. K.G. Larsen: Context-Dependent Bisimulation between Processes, Ph.D. Thesis, Edinburgh, 1986.
5. K.G. Larsen and R. Milner: A Complete Protocol Verification Using Relativized Bisimulation, R-86-12, Aalborg University Center, Denmark and also ECS-LFCS-86-13, Laboratory for Foundation of Computer Science, Edinburgh University, Scotland.
6. R. Milner: A Calculus of Communicating Systems, LNCS 92, 1980.
7. R. Milner: Calculi for Synchrony and Asynchrony, TCS 25, 1983.
8. D. Park: Concurrency and automata on infinite sequences, LNCS 104, 1981.
9. K.V.S. Prasad: Specification and Proof of a Simple Fault Tolerant System in CCS, CSR-178-84, Edinburgh University, 1984.
10. A.A. Schoone and J. van Leeuwen: Verification of Balanced Link-Level Protocol, Rijksuniversitet Utrecht, Vakgroep Informatica, RU-CS-85-12, 1985.
11. A.S. Tanenbaum: Computer Networks, Prentice-Hall, Inc., Englewood Cliffs, NY, 1981.