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

Formal Techniques for Distributed Objects, Components, and Systems最新文献

筛选
英文 中文
Derivation of Heard-of Predicates from Elementary Behavioral Patterns 从基本行为模式推导听说谓词
Formal Techniques for Distributed Objects, Components, and Systems Pub Date : 2020-04-22 DOI: 10.1007/978-3-030-50086-3_8
A. Shimi, A. Hurault, P. Quéinnec
{"title":"Derivation of Heard-of Predicates from Elementary Behavioral Patterns","authors":"A. Shimi, A. Hurault, P. Quéinnec","doi":"10.1007/978-3-030-50086-3_8","DOIUrl":"https://doi.org/10.1007/978-3-030-50086-3_8","url":null,"abstract":"","PeriodicalId":113312,"journal":{"name":"Formal Techniques for Distributed Objects, Components, and Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133976119","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}
引用次数: 2
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory 定义和验证持久不透明性:持久软件事务性内存的正确性
Formal Techniques for Distributed Objects, Components, and Systems Pub Date : 2020-04-17 DOI: 10.1007/978-3-030-50086-3_3
Eleni Bila, Simon Doherty, Brijesh Dongol, J. Derrick, G. Schellhorn, H. Wehrheim
{"title":"Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory","authors":"Eleni Bila, Simon Doherty, Brijesh Dongol, J. Derrick, G. Schellhorn, H. Wehrheim","doi":"10.1007/978-3-030-50086-3_3","DOIUrl":"https://doi.org/10.1007/978-3-030-50086-3_3","url":null,"abstract":"","PeriodicalId":113312,"journal":{"name":"Formal Techniques for Distributed Objects, Components, and Systems","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122011659","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
Trace Equivalence and Epistemic Logic to Express Security Properties 表示安全属性的跟踪等价和认知逻辑
Formal Techniques for Distributed Objects, Components, and Systems Pub Date : 2019-03-09 DOI: 10.1007/978-3-030-50086-3_7
Kiraku Minami
{"title":"Trace Equivalence and Epistemic Logic to Express Security Properties","authors":"Kiraku Minami","doi":"10.1007/978-3-030-50086-3_7","DOIUrl":"https://doi.org/10.1007/978-3-030-50086-3_7","url":null,"abstract":"","PeriodicalId":113312,"journal":{"name":"Formal Techniques for Distributed Objects, Components, and Systems","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126881845","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
Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings 分布式对象、组件和系统的形式化技术:第41届IFIP WG 6.1国际会议，FORTE 2021，作为第16届分布式计算技术国际联合会议的一部分，DisCoTec 2021，马耳他瓦莱塔，6月14-18日，2021，会议记录
Formal Techniques for Distributed Objects, Components, and Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-78089-0
{"title":"Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings","authors":"","doi":"10.1007/978-3-030-78089-0","DOIUrl":"https://doi.org/10.1007/978-3-030-78089-0","url":null,"abstract":"","PeriodicalId":113312,"journal":{"name":"Formal Techniques for Distributed Objects, Components, and Systems","volume":"20 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":"131380886","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
Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings 分布式对象、组件和系统的形式化技术:第43届IFIP WG 6.1国际会议，FORTE 2023，作为第18届分布式计算技术国际联合会议的一部分，DisCoTec 2023，里斯本，葡萄牙，6月19-23日，2023，会议记录
Formal Techniques for Distributed Objects, Components, and Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-35355-0
{"title":"Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings","authors":"","doi":"10.1007/978-3-031-35355-0","DOIUrl":"https://doi.org/10.1007/978-3-031-35355-0","url":null,"abstract":"","PeriodicalId":113312,"journal":{"name":"Formal Techniques for Distributed Objects, Components, and Systems","volume":"94 16 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":"125021941","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
Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings 分布式对象、组件和系统的形式化技术:第42届IFIP WG 6.1国际会议，FORTE 2022，作为第17届分布式计算技术国际联合会议的一部分，DisCoTec 2022，卢卡，意大利，6月13-17日，2022，会议记录
Formal Techniques for Distributed Objects, Components, and Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-08679-3
{"title":"Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings","authors":"","doi":"10.1007/978-3-031-08679-3","DOIUrl":"https://doi.org/10.1007/978-3-031-08679-3","url":null,"abstract":"","PeriodicalId":113312,"journal":{"name":"Formal Techniques for Distributed Objects, Components, and Systems","volume":"48 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":"115819658","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
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings 分布式对象、组件和系统的形式化技术:第40届IFIP WG 6.1国际会议，FORTE 2020，作为第15届分布式计算技术国际联合会议的一部分，DisCoTec 2020，马耳他瓦莱塔，2020年6月15日至19日，会议记录
Formal Techniques for Distributed Objects, Components, and Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-50086-3
Alexey Gotsman, A. Sokolova, E. Bertino
{"title":"Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings","authors":"Alexey Gotsman, A. Sokolova, E. Bertino","doi":"10.1007/978-3-030-50086-3","DOIUrl":"https://doi.org/10.1007/978-3-030-50086-3","url":null,"abstract":"","PeriodicalId":113312,"journal":{"name":"Formal Techniques for Distributed Objects, Components, and Systems","volume":"6 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":"129739094","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
首页 上一页
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学术官方微信