Pub Date : 1996-01-01DOI: 10.1016/S1571-0661(05)80674-7
Y. Hirshfeld
{"title":"Bisimulation trees and the decidability of weak bisimulations","authors":"Y. Hirshfeld","doi":"10.1016/S1571-0661(05)80674-7","DOIUrl":"https://doi.org/10.1016/S1571-0661(05)80674-7","url":null,"abstract":"","PeriodicalId":31175,"journal":{"name":"Infinity","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1996-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74386503","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}
Pub Date : 1996-01-01DOI: 10.1016/S1571-0661(05)80675-9
I. Cerná, M. Kretínský, A. Kucera
{"title":"Bisimilarity is decidable in the union of normed BPA and normed BPP processes","authors":"I. Cerná, M. Kretínský, A. Kucera","doi":"10.1016/S1571-0661(05)80675-9","DOIUrl":"https://doi.org/10.1016/S1571-0661(05)80675-9","url":null,"abstract":"","PeriodicalId":31175,"journal":{"name":"Infinity","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1996-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85222358","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}
Pub Date : 1996-01-01DOI: 10.1016/S1571-0661(05)82512-5
O. Kouchnarenko, P. Schnoebelen
{"title":"A model for recursive-parallel programs","authors":"O. Kouchnarenko, P. Schnoebelen","doi":"10.1016/S1571-0661(05)82512-5","DOIUrl":"https://doi.org/10.1016/S1571-0661(05)82512-5","url":null,"abstract":"","PeriodicalId":31175,"journal":{"name":"Infinity","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1996-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81864012","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}
Pub Date : 1996-01-01DOI: 10.1016/S1571-0661(05)80682-6
M. Nesi
{"title":"Mechanising a modal logic for value-passing agents in HOL","authors":"M. Nesi","doi":"10.1016/S1571-0661(05)80682-6","DOIUrl":"https://doi.org/10.1016/S1571-0661(05)80682-6","url":null,"abstract":"","PeriodicalId":31175,"journal":{"name":"Infinity","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1996-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82501105","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}
Pub Date : 1996-01-01DOI: 10.1016/S1571-0661(05)80683-8
D. Gurov, S. Berezin, B. Kapron
{"title":"A modal mu-calculus and a proof system for value passing processes","authors":"D. Gurov, S. Berezin, B. Kapron","doi":"10.1016/S1571-0661(05)80683-8","DOIUrl":"https://doi.org/10.1016/S1571-0661(05)80683-8","url":null,"abstract":"","PeriodicalId":31175,"journal":{"name":"Infinity","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1996-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85865214","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}
Pub Date : 1996-01-01DOI: 10.1016/S1571-0661(05)80677-2
Olaf Burkart, Y. Quemener
{"title":"Model-checking of infinite graphs defined by graph grammars","authors":"Olaf Burkart, Y. Quemener","doi":"10.1016/S1571-0661(05)80677-2","DOIUrl":"https://doi.org/10.1016/S1571-0661(05)80677-2","url":null,"abstract":"","PeriodicalId":31175,"journal":{"name":"Infinity","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1996-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75124472","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}
Pub Date : 1996-01-01DOI: 10.1016/S1571-0661(05)80678-4
Régis Cridlig
{"title":"Semantic analysis of concurrent ML by abstract model-checking","authors":"Régis Cridlig","doi":"10.1016/S1571-0661(05)80678-4","DOIUrl":"https://doi.org/10.1016/S1571-0661(05)80678-4","url":null,"abstract":"","PeriodicalId":31175,"journal":{"name":"Infinity","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1996-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91195484","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":"Proceedings of the 2019 ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things","authors":"","doi":"10.1145/3341108","DOIUrl":"https://doi.org/10.1145/3341108","url":null,"abstract":"","PeriodicalId":31175,"journal":{"name":"Infinity","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76511630","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
扫码关注我们
求助内容：
应助结果提醒方式：