{"title":"Bisimulations and divergence","authors":"D. Walker","doi":"10.1109/LICS.1988.5117","DOIUrl":null,"url":null,"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.<<ETX>>","PeriodicalId":425186,"journal":{"name":"[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"40","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/LICS.1988.5117","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 40
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.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
![[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
扫码关注我们
