The Analysis of Concurrent Systems最新文献

筛选
英文 中文
Trace Theory and the Specification of Concurrent Systems 并行系统的跟踪理论与规范
The Analysis of Concurrent Systems Pub Date : 1983-09-12 DOI: 10.1007/3-540-16047-7_48
A. Kaldewaij
{"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}
引用次数: 1
Solutions to Problem No.2 问题2的解决方案
The Analysis of Concurrent Systems Pub Date : 1983-09-12 DOI: 10.1007/3-540-16047-7_59
A. Pnueli
{"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}
引用次数: 0
An Example of Specification and Verification in Cesar Cesar中规范与验证的一个例子
The Analysis of Concurrent Systems Pub Date : 1983-09-12 DOI: 10.1007/3-540-16047-7_47
Jean-Claude Fernandez, J. Schwartz, J. Sifakis
{"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}
引用次数: 5
On the Specification of the Firing Squad Problem 论行刑队问题的规范
The Analysis of Concurrent Systems Pub Date : 1983-09-12 DOI: 10.1007/3-540-16047-7_44
E. Astesiano, G. Reggio
{"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}
引用次数: 4
A CSP solution to the "trains" problem CSP解决“火车”问题
The Analysis of Concurrent Systems Pub Date : 1983-09-12 DOI: 10.1007/3-540-16047-7_60
A. W. Roscoe
{"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}
引用次数: 4
The Train Set Problem 火车集问题
The Analysis of Concurrent Systems Pub Date : 1983-09-12 DOI: 10.1007/3-540-16047-7_61
M. Shields
{"title":"The Train Set Problem","authors":"M. Shields","doi":"10.1007/3-540-16047-7_61","DOIUrl":"https://doi.org/10.1007/3-540-16047-7_61","url":null,"abstract":"","PeriodicalId":390897,"journal":{"name":"The Analysis of Concurrent Systems","volume":"11 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":"114379969","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}
引用次数: 0
Two-way Channel with Disconnect 带断开的双向通道
The Analysis of Concurrent Systems Pub Date : 1983-09-12 DOI: 10.1007/3-540-16047-7_39
V. Pratt
{"title":"Two-way Channel with Disconnect","authors":"V. Pratt","doi":"10.1007/3-540-16047-7_39","DOIUrl":"https://doi.org/10.1007/3-540-16047-7_39","url":null,"abstract":"","PeriodicalId":390897,"journal":{"name":"The Analysis of Concurrent Systems","volume":"64 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":"114843008","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}
引用次数: 6
Firing Squad 行刑队
The Analysis of Concurrent Systems Pub Date : 1983-09-12 DOI: 10.1007/3-540-16047-7_54
R. Milner
{"title":"Firing Squad","authors":"R. Milner","doi":"10.1007/3-540-16047-7_54","DOIUrl":"https://doi.org/10.1007/3-540-16047-7_54","url":null,"abstract":"","PeriodicalId":390897,"journal":{"name":"The Analysis of Concurrent Systems","volume":"57 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":"124939286","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}
引用次数: 3
A Temporal Analysis of Some Concurrent Systems 一些并发系统的时间分析
The Analysis of Concurrent Systems Pub Date : 1983-09-12 DOI: 10.1007/3-540-16047-7_58
B. Moszkowski
{"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}
引用次数: 4
Using Algebra for Concurrency: Some Approaches 使用代数实现并发:一些方法
The Analysis of Concurrent Systems Pub Date : 1983-09-12 DOI: 10.1007/3-540-16047-7_33
R. Milner
{"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}
引用次数: 1
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信