发布求助
文献互助 智能选刊 最新文献

25 Years Communicating Sequential Processes最新文献

筛选
英文 中文
Retracing the Semantics of CSP 回溯CSP的语义
25 Years Communicating Sequential Processes Pub Date : 2004-07-07 DOI: 10.1007/11423348_1
S. Brookes
{"title":"Retracing the Semantics of CSP","authors":"S. Brookes","doi":"10.1007/11423348_1","DOIUrl":"https://doi.org/10.1007/11423348_1","url":null,"abstract":"","PeriodicalId":171106,"journal":{"name":"25 Years Communicating Sequential Processes","volume":"164 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114193681","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
Seeing Beyond Divergence 超越分歧
25 Years Communicating Sequential Processes Pub Date : 2004-07-07 DOI: 10.1007/11423348_2
A. W. Roscoe
{"title":"Seeing Beyond Divergence","authors":"A. W. Roscoe","doi":"10.1007/11423348_2","DOIUrl":"https://doi.org/10.1007/11423348_2","url":null,"abstract":"","PeriodicalId":171106,"journal":{"name":"25 Years Communicating Sequential Processes","volume":"150 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116079055","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}
引用次数: 23
Implementation of Handshake Components 握手组件的实现
25 Years Communicating Sequential Processes Pub Date : 2004-07-07 DOI: 10.1007/11423348_7
A. Peeters
{"title":"Implementation of Handshake Components","authors":"A. Peeters","doi":"10.1007/11423348_7","DOIUrl":"https://doi.org/10.1007/11423348_7","url":null,"abstract":"","PeriodicalId":171106,"journal":{"name":"25 Years Communicating Sequential Processes","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121025920","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
CSP, occam and Transputers CSP, occam和Transputers
25 Years Communicating Sequential Processes Pub Date : 2004-07-07 DOI: 10.1007/11423348_5
D. May
{"title":"CSP, occam and Transputers","authors":"D. May","doi":"10.1007/11423348_5","DOIUrl":"https://doi.org/10.1007/11423348_5","url":null,"abstract":"","PeriodicalId":171106,"journal":{"name":"25 Years Communicating Sequential Processes","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114655842","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
Order, Topology, and Recursion Induction in CSP CSP中的顺序、拓扑和递归归纳
25 Years Communicating Sequential Processes Pub Date : 2004-07-07 DOI: 10.1007/11423348_13
M. Reed
{"title":"Order, Topology, and Recursion Induction in CSP","authors":"M. Reed","doi":"10.1007/11423348_13","DOIUrl":"https://doi.org/10.1007/11423348_13","url":null,"abstract":"","PeriodicalId":171106,"journal":{"name":"25 Years Communicating Sequential Processes","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122034534","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
Shedding Light on Haunted Corners of Information Security 揭示信息安全的阴魂不散的角落
25 Years Communicating Sequential Processes Pub Date : 2004-07-07 DOI: 10.1007/11423348_15
P. Ryan
{"title":"Shedding Light on Haunted Corners of Information Security","authors":"P. Ryan","doi":"10.1007/11423348_15","DOIUrl":"https://doi.org/10.1007/11423348_15","url":null,"abstract":"","PeriodicalId":171106,"journal":{"name":"25 Years Communicating Sequential Processes","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125921554","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
Operational Semantics for Fun and Profit 趣味和利润的操作语义
25 Years Communicating Sequential Processes Pub Date : 2004-07-07 DOI: 10.1007/11423348_16
M. Goldsmith
{"title":"Operational Semantics for Fun and Profit","authors":"M. Goldsmith","doi":"10.1007/11423348_16","DOIUrl":"https://doi.org/10.1007/11423348_16","url":null,"abstract":"","PeriodicalId":171106,"journal":{"name":"25 Years Communicating Sequential Processes","volume":"10 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120987787","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}
引用次数: 9
Verifying Security Protocols: An Application of CSP 安全协议验证:CSP的一种应用
25 Years Communicating Sequential Processes Pub Date : 2004-07-07 DOI: 10.1007/11423348_14
Steve A. Schneider, Rob Delicata
{"title":"Verifying Security Protocols: An Application of CSP","authors":"Steve A. Schneider, Rob Delicata","doi":"10.1007/11423348_14","DOIUrl":"https://doi.org/10.1007/11423348_14","url":null,"abstract":"","PeriodicalId":171106,"journal":{"name":"25 Years Communicating Sequential Processes","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115808799","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}
引用次数: 36
Applied Formal Methods - From CSP to Executable Hybrid Specifications 应用形式化方法-从CSP到可执行的混合规范
25 Years Communicating Sequential Processes Pub Date : 2004-07-07 DOI: 10.1007/11423348_19
J. Peleska
{"title":"Applied Formal Methods - From CSP to Executable Hybrid Specifications","authors":"J. Peleska","doi":"10.1007/11423348_19","DOIUrl":"https://doi.org/10.1007/11423348_19","url":null,"abstract":"","PeriodicalId":171106,"journal":{"name":"25 Years Communicating Sequential Processes","volume":"2 Obstet Gynaecol Sect 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134189950","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}
引用次数: 11
Industrial Strength CSP: Opportunities and Challenges in Model-Checking 工业实力CSP:模型检验的机遇与挑战
25 Years Communicating Sequential Processes Pub Date : 2004-07-07 DOI: 10.1007/11423348_18
S. Creese
{"title":"Industrial Strength CSP: Opportunities and Challenges in Model-Checking","authors":"S. Creese","doi":"10.1007/11423348_18","DOIUrl":"https://doi.org/10.1007/11423348_18","url":null,"abstract":"","PeriodicalId":171106,"journal":{"name":"25 Years Communicating Sequential Processes","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124020569","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
下一页 尾页
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学术官方微信