{"title":"Fully abstract models for a process language with refinement","authors":"M. Nielsen, Uffe Engberg, Kim S. Larsen","doi":"10.1007/BFb0013034","DOIUrl":"https://doi.org/10.1007/BFb0013034","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123805399","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Branching time temporal logic","authors":"E. Emerson, J. Srinivasan","doi":"10.1007/BFb0013022","DOIUrl":"https://doi.org/10.1007/BFb0013022","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132706759","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Towards a temporal logic of causality and choice in distributed systems","authors":"W. Reisig","doi":"10.1007/BFb0013037","DOIUrl":"https://doi.org/10.1007/BFb0013037","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120918186","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Correctness and full abstraction of metric semantics for concurrency","authors":"J. Rutten","doi":"10.1007/BFb0013038","DOIUrl":"https://doi.org/10.1007/BFb0013038","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132571767","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Permutation of transitions: An event structure semantics for CCS and SCCS","authors":"G. Boudol, I. Castellani","doi":"10.1007/BFb0013028","DOIUrl":"https://doi.org/10.1007/BFb0013028","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127856048","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Computation tree logic and regular omega-languages","authors":"W. Thomas","doi":"10.1007/BFb0013041","DOIUrl":"https://doi.org/10.1007/BFb0013041","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128584183","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The anchored version of the temporal framework","authors":"Z. Manna, A. Pnueli","doi":"10.1007/BFb0013024","DOIUrl":"https://doi.org/10.1007/BFb0013024","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121590843","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A logig for the description of behaviours and properties of concurrent systems","authors":"A. Bouajjani, S. Graf, J. Sifakis","doi":"10.1007/BFb0013027","DOIUrl":"https://doi.org/10.1007/BFb0013027","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129558278","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Strong bisimilarity on nets: a new concept for comparing net semantics","authors":"E. Olderog","doi":"10.1007/BFb0013035","DOIUrl":"https://doi.org/10.1007/BFb0013035","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122027528","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：