Pub Date : 1987-04-08DOI: 10.1007/3-540-51803-7_22
B. Banieqbal, H. Barringer
{"title":"Temporal Logic with Fixed Points","authors":"B. Banieqbal, H. Barringer","doi":"10.1007/3-540-51803-7_22","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_22","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"24 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120927444","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 : 1987-04-08DOI: 10.1007/3-540-51803-7_34
J. Zwiers, W. D. Roever
{"title":"Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach","authors":"J. Zwiers, W. D. Roever","doi":"10.1007/3-540-51803-7_34","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_34","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131432443","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 : 1987-04-08DOI: 10.1007/3-540-51803-7_31
R. Kuiper
{"title":"Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding","authors":"R. Kuiper","doi":"10.1007/3-540-51803-7_31","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_31","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114871992","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 : 1987-04-08DOI: 10.1007/3-540-51803-7_27
Moshe Y. Vardi
{"title":"Unified Verification Theory","authors":"Moshe Y. Vardi","doi":"10.1007/3-540-51803-7_27","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_27","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116105841","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 : 1900-01-01DOI: 10.1007/3-540-51803-7_24
Z. Manna, A. Pnueli
{"title":"Specification and Verification of Concurrent Programs by forall-Automata","authors":"Z. Manna, A. Pnueli","doi":"10.1007/3-540-51803-7_24","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_24","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123093524","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
扫码关注我们
求助内容：
应助结果提醒方式：