Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Third Annual IEEE Symposium on

Logic in Computer Science (LICS 1988)

Paper: Bisimulations and divergence (at LICS 1988)

Authors: David Walker

Abstract

Behavioral preorders based on the idea of bisimulation equivalence and providing explicit treatments of the phenomenon of divergence in communicating systems are investigated. Particular study is made of those preorders in the context of R. Milner's (1980) calculus of communicating systems. The precongruence relations generated by the preorders are characterized and axiomated on the classes of finite closed terms and sequential terms. A compositional verification technique based on the theory of the preorders is introduced and illustrated

BibTeX

  @InProceedings{Walker-Bisimulationsanddiv,
    author = 	 {David Walker},
    title = 	 {Bisimulations and divergence},
    booktitle =  {Proceedings of the Third Annual IEEE Symposium on Logic in Computer Science (LICS 1988)},
    year =	 {1988},
    month =	 {July}, 
    pages =      {186--192},
    location =   {Edinburgh, Scotland, UK}, 
    publisher =	 {IEEE Computer Society Press}
  }
   

Last modified: 2018-06-2121:59
Andrzej Murawski