{"title":"A TLA Solution to the RPC-Memory Specification Problem","authors":"M. Abadi, L. Lamport, Stephan Merz","doi":"10.1007/BFb0024426","DOIUrl":"https://doi.org/10.1007/BFb0024426","url":null,"abstract":"","PeriodicalId":299839,"journal":{"name":"Formal Systems Specification","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132656422","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 RPC-Memory Specification Problem - Problem Statement","authors":"M. Broy, L. Lamport","doi":"10.1007/BFb0024424","DOIUrl":"https://doi.org/10.1007/BFb0024424","url":null,"abstract":"","PeriodicalId":299839,"journal":{"name":"Formal Systems Specification","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125591971","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":"Using Relations to Solve the RPC-Memory Specification Problem","authors":"K. Stølen","doi":"10.1007/BFb0024439","DOIUrl":"https://doi.org/10.1007/BFb0024439","url":null,"abstract":"","PeriodicalId":299839,"journal":{"name":"Formal Systems Specification","volume":"68 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":"114093986","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":"Specification and Verification Using a Visual Formalism on Top of Temporal Logic","authors":"H. Hungar","doi":"10.1007/BFb0024434","DOIUrl":"https://doi.org/10.1007/BFb0024434","url":null,"abstract":"","PeriodicalId":299839,"journal":{"name":"Formal Systems Specification","volume":"105 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":"134560125","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 Memory Module Specification Using Composable High-Level Petri Nets","authors":"E. Best","doi":"10.1007/BFb0024428","DOIUrl":"https://doi.org/10.1007/BFb0024428","url":null,"abstract":"","PeriodicalId":299839,"journal":{"name":"Formal Systems Specification","volume":"41 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":"132132447","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 RPC-Memory Case Study: A Synopsis","authors":"M. Broy, Stephan Merz, Katharina Spies","doi":"10.1007/BFb0024425","DOIUrl":"https://doi.org/10.1007/BFb0024425","url":null,"abstract":"","PeriodicalId":299839,"journal":{"name":"Formal Systems Specification","volume":"11 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":"123839548","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 Dynamic Specification of the RPC-Memory Problem","authors":"E. Astesiano, G. Reggio","doi":"10.1007/BFb0024427","DOIUrl":"https://doi.org/10.1007/BFb0024427","url":null,"abstract":"","PeriodicalId":299839,"journal":{"name":"Formal Systems Specification","volume":"19 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":"126147618","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":"Incremental Specification with Joint Actions: The RPC-Memory Specification Problem","authors":"R. Kurki-Suonio","doi":"10.1007/BFb0024436","DOIUrl":"https://doi.org/10.1007/BFb0024436","url":null,"abstract":"","PeriodicalId":299839,"journal":{"name":"Formal Systems Specification","volume":"33 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":"117351212","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 Case Study in Verification Based on Trace Abstractions","authors":"Nils Klarlund, M. Nielsen, K. Sunesen","doi":"10.1007/BFb0024435","DOIUrl":"https://doi.org/10.1007/BFb0024435","url":null,"abstract":"","PeriodicalId":299839,"journal":{"name":"Formal Systems Specification","volume":"1 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":"130647765","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
扫码关注我们
求助内容：
应助结果提醒方式：