Pub Date : 1987-04-08DOI: 10.1007/3-540-51803-7_35
R. Hale
{"title":"Using Temporal Logic for Prototyping: The Design of a Lift Controller","authors":"R. Hale","doi":"10.1007/3-540-51803-7_35","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_35","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"1 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":"129250343","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_21
S. Graf, J. Sifakis
{"title":"An Expressive Logic for a Process Algebra with Silent Actions","authors":"S. Graf, J. Sifakis","doi":"10.1007/3-540-51803-7_21","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_21","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":"123529882","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_26
E. Clarke, O. Grumberg
{"title":"The Model Checking Problem for Concurrent Systems with Many Similar Processes","authors":"E. Clarke, O. Grumberg","doi":"10.1007/3-540-51803-7_26","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_26","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"106 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":"124081382","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_19
C. Stirling
{"title":"Comparing Linear and Branching Time Temporal Logics","authors":"C. Stirling","doi":"10.1007/3-540-51803-7_19","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_19","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"165 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":"133383915","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_29
P. Melliar-Smith
{"title":"Extending Interval Logic to Real Time Systems","authors":"P. Melliar-Smith","doi":"10.1007/3-540-51803-7_29","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_29","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"47 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":"122031920","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_23
P. Wolper
{"title":"On the Relation of Programs and Computations to Models of Temporal Logic","authors":"P. Wolper","doi":"10.1007/3-540-51803-7_23","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_23","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"1 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":"132313920","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_36
D. Gabbay
{"title":"The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems","authors":"D. Gabbay","doi":"10.1007/3-540-51803-7_36","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_36","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"172 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":"122192883","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_30
S. Khosla, T. Maibaum
{"title":"The Prescription and Description of State Based Systems","authors":"S. Khosla, T. Maibaum","doi":"10.1007/3-540-51803-7_30","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_30","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"70 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":"131573063","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_25
B. Josko
{"title":"MCTL - An Extension of CTL for Modular Verification of Concurrent Systems","authors":"B. Josko","doi":"10.1007/3-540-51803-7_25","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_25","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"1 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":"131021130","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_33
A. Sernadas, J. Fiadeiro, C. Sernadas, H. Ehrich
{"title":"Abstract Object Types: A Temporal Perspective","authors":"A. Sernadas, J. Fiadeiro, C. Sernadas, H. Ehrich","doi":"10.1007/3-540-51803-7_33","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_33","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"18 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":"123986459","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
扫码关注我们
求助内容：
应助结果提醒方式：