{"title":"Denotational Semantics of Parallelism","authors":"Jerald S. Schwartz","doi":"10.1007/BFb0022470","DOIUrl":"https://doi.org/10.1007/BFb0022470","url":null,"abstract":"","PeriodicalId":117060,"journal":{"name":"Semantics of Concurrent Computation","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1979-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115053449","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":"Principles for Distributing Programs","authors":"M. Sintzoff","doi":"10.1007/BFb0022478","DOIUrl":"https://doi.org/10.1007/BFb0022478","url":null,"abstract":"","PeriodicalId":117060,"journal":{"name":"Semantics of Concurrent Computation","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1979-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132554521","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 Properties Preserved by Contraction of Concurrent Systems","authors":"J. S. Gourlay, W. Rounds, R. Statman","doi":"10.1007/BFb0022463","DOIUrl":"https://doi.org/10.1007/BFb0022463","url":null,"abstract":"","PeriodicalId":117060,"journal":{"name":"Semantics of Concurrent Computation","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1979-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115236404","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":"Non-Deterministic System Specification","authors":"J. Abrial, S. Schuman","doi":"10.1007/BFb0022462","DOIUrl":"https://doi.org/10.1007/BFb0022462","url":null,"abstract":"","PeriodicalId":117060,"journal":{"name":"Semantics of Concurrent Computation","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1979-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124307619","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 Approach to Fair Applicative Multiprogramming","authors":"Daniel P. Friedman, David S. Wise","doi":"10.1007/BFb0022471","DOIUrl":"https://doi.org/10.1007/BFb0022471","url":null,"abstract":"","PeriodicalId":117060,"journal":{"name":"Semantics of Concurrent Computation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1979-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125894856","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":"Modal Logic of Concurrent Nondeterministic Programs","authors":"Karl R. Abrahamson","doi":"10.1007/BFb0022461","DOIUrl":"https://doi.org/10.1007/BFb0022461","url":null,"abstract":"","PeriodicalId":117060,"journal":{"name":"Semantics of Concurrent Computation","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1979-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115666845","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 Absence of Livelocks in Parallel Programs","authors":"Y. Kwong","doi":"10.1007/BFb0022469","DOIUrl":"https://doi.org/10.1007/BFb0022469","url":null,"abstract":"","PeriodicalId":117060,"journal":{"name":"Semantics of Concurrent Computation","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1979-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114706195","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 Petri Net Definition of a System Description Language","authors":"K. Jensen, M. Kyng, O. Madsen","doi":"10.1007/BFb0022479","DOIUrl":"https://doi.org/10.1007/BFb0022479","url":null,"abstract":"","PeriodicalId":117060,"journal":{"name":"Semantics of Concurrent Computation","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1979-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115255766","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号
求助内容：
应助结果提醒方式：