双模拟和散度

[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science Pub Date : 1988-07-05 DOI:10.1109/LICS.1988.5117

D. Walker

{"title":"双模拟和散度","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":"{\"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}","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

摘要

本文研究了基于双模拟等价思想的行为预定，并对通信系统中的发散现象进行了明确的处理。在R. Milner(1980)的通信系统演算的背景下，对这些预订进行了特别的研究。在有限闭项和序列项的分类上，对由预定项产生的预同余关系进行了刻画和公理化。介绍并说明了一种基于预购理论的组合验证技术

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Bisimulations and divergence

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.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science

自引率

0.00%

发文量