{"title":"Trace Theory and the Specification of Concurrent Systems","authors":"A. Kaldewaij","doi":"10.1007/3-540-16047-7_48","DOIUrl":"https://doi.org/10.1007/3-540-16047-7_48","url":null,"abstract":"","PeriodicalId":390897,"journal":{"name":"The Analysis of Concurrent Systems","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1983-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131192522","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":"Solutions to Problem No.2","authors":"A. Pnueli","doi":"10.1007/3-540-16047-7_59","DOIUrl":"https://doi.org/10.1007/3-540-16047-7_59","url":null,"abstract":"","PeriodicalId":390897,"journal":{"name":"The Analysis of Concurrent Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1983-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123030363","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":"An Example of Specification and Verification in Cesar","authors":"Jean-Claude Fernandez, J. Schwartz, J. Sifakis","doi":"10.1007/3-540-16047-7_47","DOIUrl":"https://doi.org/10.1007/3-540-16047-7_47","url":null,"abstract":"","PeriodicalId":390897,"journal":{"name":"The Analysis of Concurrent Systems","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1983-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123090269","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":"On the Specification of the Firing Squad Problem","authors":"E. Astesiano, G. Reggio","doi":"10.1007/3-540-16047-7_44","DOIUrl":"https://doi.org/10.1007/3-540-16047-7_44","url":null,"abstract":"","PeriodicalId":390897,"journal":{"name":"The Analysis of Concurrent Systems","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1983-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133963275","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 CSP solution to the \"trains\" problem","authors":"A. W. Roscoe","doi":"10.1007/3-540-16047-7_60","DOIUrl":"https://doi.org/10.1007/3-540-16047-7_60","url":null,"abstract":"","PeriodicalId":390897,"journal":{"name":"The Analysis of Concurrent Systems","volume":"218 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1983-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113982976","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 Temporal Analysis of Some Concurrent Systems","authors":"B. Moszkowski","doi":"10.1007/3-540-16047-7_58","DOIUrl":"https://doi.org/10.1007/3-540-16047-7_58","url":null,"abstract":"","PeriodicalId":390897,"journal":{"name":"The Analysis of Concurrent Systems","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1983-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129385011","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 Algebra for Concurrency: Some Approaches","authors":"R. Milner","doi":"10.1007/3-540-16047-7_33","DOIUrl":"https://doi.org/10.1007/3-540-16047-7_33","url":null,"abstract":"","PeriodicalId":390897,"journal":{"name":"The Analysis of Concurrent Systems","volume":"237 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1983-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122119676","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}