{"title":"The State Operator in Real Time Process Algebra","authors":"J. Baeten, J. Bergstra","doi":"10.1007/BFb0031989","DOIUrl":"https://doi.org/10.1007/BFb0031989","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"23 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":"134641830","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":"Coping with Implementation Dependencies in Real-Time System Verification","authors":"A. Mok","doi":"10.1007/BFb0032004","DOIUrl":"https://doi.org/10.1007/BFb0032004","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"67 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":"132494915","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 Theory of Timed Automata","authors":"R. Alur, D. Dill","doi":"10.1007/BFb0031987","DOIUrl":"https://doi.org/10.1007/BFb0031987","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"312 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":"125159658","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":"Compositional Verification of Real-Time Systems using Extended Hoare Triples","authors":"J. Hooman","doi":"10.1007/BFb0031996","DOIUrl":"https://doi.org/10.1007/BFb0031996","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"47 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":"130644150","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 Specification of the Cat and Mouse Problem","authors":"W. Wood","doi":"10.1007/BFb0032012","DOIUrl":"https://doi.org/10.1007/BFb0032012","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"14 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":"126839227","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":"Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE","authors":"Frédéric Rocheteau, N. Halbwachs","doi":"10.1007/BFb0031993","DOIUrl":"https://doi.org/10.1007/BFb0031993","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"42 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":"132174073","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 and Completeness of Duration Calculus","authors":"M. R. Hansen, Chaochen Zhou","doi":"10.1007/BFb0031994","DOIUrl":"https://doi.org/10.1007/BFb0031994","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"689 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":"122962286","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
扫码关注我们
求助内容：
应助结果提醒方式：