DocumentCode
2245340
Title
Bisimulations and divergence
Author
Walker, D.J.
Author_Institution
Dept. of Comput. Sci., Edinburgh Univ., UK
fYear
1988
fDate
0-0 1988
Firstpage
186
Lastpage
192
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.<>
Keywords
formal logic; bisimulation equivalence; calculus; communicating systems; compositional verification technique; divergence; finite closed terms; sequential terms; Artificial intelligence; Calculus; Character generation; Computer science; Concrete; Context; Convergence; Gold;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on
Conference_Location
Edinburgh, UK
Print_ISBN
0-8186-0853-6
Type
conf
DOI
10.1109/LICS.1988.5117
Filename
5117
Link To Document