{"title":"A Proof System for the Language POOL","authors":"F. S. Boer","doi":"10.1007/BFb0019442","DOIUrl":"https://doi.org/10.1007/BFb0019442","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116771704","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 : 1990-05-01DOI: 10.1007/3-540-52559-9_68
R. V. Glabbeek, U. Goltz
{"title":"Refinement of Actions in Causality Based Models","authors":"R. V. Glabbeek, U. Goltz","doi":"10.1007/3-540-52559-9_68","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_68","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126751258","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 : 1990-05-01DOI: 10.1007/3-540-52559-9_75
S. Lam, A. Shankar
{"title":"Refinement and Projection of Relational Specifications","authors":"S. Lam, A. Shankar","doi":"10.1007/3-540-52559-9_75","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_75","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127363203","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 : 1989-05-29DOI: 10.1007/3-540-52559-9_62
H. Barringer, Michael Fisher, D. Gabbay, G. Gough, R. Owens
{"title":"METATEM: A Framework for Programming in Temporal Logic","authors":"H. Barringer, Michael Fisher, D. Gabbay, G. Gough, R. Owens","doi":"10.1007/3-540-52559-9_62","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_62","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122685365","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 : 1989-05-29DOI: 10.1007/3-540-52559-9_76
K. Larsen
{"title":"Compositional Theories Based on an Operational Semantics of Contexts","authors":"K. Larsen","doi":"10.1007/3-540-52559-9_76","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_76","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130912130","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 : 1989-05-29DOI: 10.1007/3-540-52559-9_83
A. Shankar, S. Lam
{"title":"Construction of Network Protocols by Stepwise Refinement","authors":"A. Shankar, S. Lam","doi":"10.1007/3-540-52559-9_83","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_83","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129248432","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 : 1989-05-29DOI: 10.1007/3-540-52559-9_79
T. Nipkow
{"title":"Formal Verification of Data Type Refinement - Theory and Practice","authors":"T. Nipkow","doi":"10.1007/3-540-52559-9_79","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_79","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125832633","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
扫码关注我们
求助内容：
应助结果提醒方式：