Verifying a protocol using relativized bisimulation

  • Kim G. Larsen
  • Robin Milner
Semantics, Concurrency
Part of the Lecture Notes in Computer Science book series (LNCS, volume 267)


Operational Semantic Label Transition System Proof Obligation Reply Action Mechanical Assistance 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Berg&Klop]
    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.Google Scholar
  2. [Koy&Mul]
    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.Google Scholar
  3. [Lar85]
    K.G.Larsen: A Context Dependent Equivalence between Processes, ICALP'85, LNCS 194. Full version to appear in TCS.Google Scholar
  4. [Lar86]
    K.G.Larsen: Context-Dependent Bisimulation between Processes, Ph.D. Thesis, Edinburgh, 1986.Google Scholar
  5. [Lar&Mil86]
    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.Google Scholar
  6. [Mil80]
    R.Milner: A Calculus of Communicating Systems, LNCS 92, 1980.Google Scholar
  7. [Mil83]
    R.Milner: Calculi for Synchrony and Asynchrony, TCS 25, 1983.Google Scholar
  8. [Park]
    D.Park: Concurrency and automata on infinite sequences, LNCS 104, 1981.Google Scholar
  9. [Prasad]
    K.V.S.Prasad: Specification and Proof of a Simple Fault Tolerant System in CCS, CSR-178-84, Edinburgh University, 1984.Google Scholar
  10. [Sck&vanL]
    A.A.Schoone and J. van Leeuwen: Verification of Balanced Link-Level Protocol, Rijksuniversitet Utrecht, Vakgroep Informatica, RU-CS-85-12, 1985.Google Scholar
  11. [Tan]
    A.S. Tanenbaum: Computer Networks, Prentice-Hall, Inc., Englewood Cliffs, NY, 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Kim G. Larsen
    • 1
  • Robin Milner
    • 2
  1. 1.Aalborg University CentreDenmark
  2. 2.Edinburgh UniversityScotland

Personalised recommendations