{"title":"Logics and Models of Real Time: A Survey","authors":"R. Alur, T. Henzinger","doi":"10.1007/BFb0031988","DOIUrl":"https://doi.org/10.1007/BFb0031988","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129736645","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":"Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator","authors":"T. Bolognesi, F. Lucidi","doi":"10.1007/BFb0031990","DOIUrl":"https://doi.org/10.1007/BFb0031990","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122416139","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":"Verifying Automata Specifications of Probabilistic Real-time Systems","authors":"R. Alur, C. Courcoubetis, D. Dill","doi":"10.1007/BFb0031986","DOIUrl":"https://doi.org/10.1007/BFb0031986","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126723578","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":"Verification of Safety Critical Systems Using TTM/RTTL","authors":"J. Ostroff","doi":"10.1007/BFb0032008","DOIUrl":"https://doi.org/10.1007/BFb0032008","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121284100","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":"Problems, Promises and Performance: Some Questions for Real-time System Specification","authors":"M. Joseph","doi":"10.1007/BFb0031998","DOIUrl":"https://doi.org/10.1007/BFb0031998","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126775477","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":"Semantics of Reactive Systems in Abstract Time","authors":"C. Huizing, R. Gerth","doi":"10.1007/BFb0031997","DOIUrl":"https://doi.org/10.1007/BFb0031997","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126864190","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":"Real-Time and the Mu-Calculus (Preliminary Report)","authors":"E. Allen Emerson","doi":"10.1007/BFb0031992","DOIUrl":"https://doi.org/10.1007/BFb0031992","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125233768","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":"Time in State Based Formal Description Techniques for Distributed Systems","authors":"J. Courtiat, M. Diaz","doi":"10.1007/BFb0031991","DOIUrl":"https://doi.org/10.1007/BFb0031991","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128726142","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
扫码关注我们
求助内容：
应助结果提醒方式：