International Conference on Coordination Models and Languages最新文献

筛选
英文 中文
A Monitoring Tool for Linear-Time μHML 线性时间μHML的监控工具
International Conference on Coordination Models and Languages Pub Date : 2023-09-01 DOI: 10.1007/978-3-031-08143-9_12
L. Aceto, A. Achilleos, D. Attard, Léo Exibard, Adrian Francalanza, A. Ingólfsdóttir
{"title":"A Monitoring Tool for Linear-Time μHML","authors":"L. Aceto, A. Achilleos, D. Attard, Léo Exibard, Adrian Francalanza, A. Ingólfsdóttir","doi":"10.1007/978-3-031-08143-9_12","DOIUrl":"https://doi.org/10.1007/978-3-031-08143-9_12","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122891698","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
Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial) Caos:一个可重用的Scala操作语义Web动画器(扩展为动手教程)
International Conference on Coordination Models and Languages Pub Date : 2023-04-28 DOI: 10.48550/arXiv.2304.14901
J. Proença, L. Edixhoven
{"title":"Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)","authors":"J. Proença, L. Edixhoven","doi":"10.48550/arXiv.2304.14901","DOIUrl":"https://doi.org/10.48550/arXiv.2304.14901","url":null,"abstract":"This tool paper presents Caos: a methodology and a programming framework for computer-aided design of structural operational semantics for formal models. This framework includes a set of Scala libraries and a workflow to produce visual and interactive diagrams that animate and provide insights over the structure and the semantics of a given abstract model with operational rules. Caos follows an approach in which theoretical foundations and a practical tool are built together, as an alternative to foundations-first design (\"tool justifies theory\") or tool-first design (\"foundations justify practice\"). The advantage of Caos is that the tool-under-development can immediately be used to automatically run numerous and sizeable examples in order to identify subtle mistakes, unexpected outcomes, and unforeseen limitations in the foundations-under-development, as early as possible. We share two success stories of Caos' methodology and framework in our own teaching and research context, where we analyse a simple while-language and a choreographic language, including their operational rules and the concurrent composition of such rules. We further discuss how others can include Caos in their own analysis and Scala tools.","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130445030","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
Reasoning about Choreographic Programs 关于编舞节目的推理
International Conference on Coordination Models and Languages Pub Date : 2023-04-27 DOI: 10.48550/arXiv.2304.14539
L. Cruz-Filipe, Eva Graversen, F. Montesi, Marco Peressotti
{"title":"Reasoning about Choreographic Programs","authors":"L. Cruz-Filipe, Eva Graversen, F. Montesi, Marco Peressotti","doi":"10.48550/arXiv.2304.14539","DOIUrl":"https://doi.org/10.48550/arXiv.2304.14539","url":null,"abstract":"Choreographic programming is a paradigm where a concurrent or distributed system is developed in a top-down fashion. Programs, called choreographies, detail the desired interactions between processes, and can be compiled to distributed implementations based on message passing. Choreographic languages usually guarantee deadlock-freedom and provide an operational correspondence between choreographies and their compiled implementations, but until now little work has been done on verifying other properties. This paper presents a Hoare-style logic for reasoning about the behaviour of choreographies, and illustrate its usage in representative examples. We show that this logic is sound and complete, and discuss decidability of its judgements. Using existing results from choreographic programming, we show that any functional correctness property proven for a choreography also holds for its compiled implementation.","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"210 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131633148","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
A Model of Actors and Grey Failures 演员和灰色失败的模型
International Conference on Coordination Models and Languages Pub Date : 2022-10-31 DOI: 10.1007/978-3-031-08143-9_9
L. Bocchi, J. Lange, S. Thompson, A. Voinea
{"title":"A Model of Actors and Grey Failures","authors":"L. Bocchi, J. Lange, S. Thompson, A. Voinea","doi":"10.1007/978-3-031-08143-9_9","DOIUrl":"https://doi.org/10.1007/978-3-031-08143-9_9","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"489 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116689871","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
Java Typestate Checker Java类型状态检查器
International Conference on Coordination Models and Languages Pub Date : 2021-06-14 DOI: 10.1007/978-3-030-78142-2_8
João Mota, M. Giunti, A. Ravara
{"title":"Java Typestate Checker","authors":"João Mota, M. Giunti, A. Ravara","doi":"10.1007/978-3-030-78142-2_8","DOIUrl":"https://doi.org/10.1007/978-3-030-78142-2_8","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122011901","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}
引用次数: 7
Asynchronous Global Types in Co-logic Programming 协同逻辑编程中的异步全局类型
International Conference on Coordination Models and Languages Pub Date : 2021-06-14 DOI: 10.1007/978-3-030-78142-2_9
Riccardo Bianchini, Francesco Dagnino
{"title":"Asynchronous Global Types in Co-logic Programming","authors":"Riccardo Bianchini, Francesco Dagnino","doi":"10.1007/978-3-030-78142-2_9","DOIUrl":"https://doi.org/10.1007/978-3-030-78142-2_9","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126919234","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
Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices Jolie & LEMMA:模型驱动工程和编程语言在微服务上相遇
International Conference on Coordination Models and Languages Pub Date : 2021-04-06 DOI: 10.1007/978-3-030-78142-2_17
S. Giallorenzo, F. Montesi, Marco Peressotti, Florian Rademacher, S. Sachweh
{"title":"Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices","authors":"S. Giallorenzo, F. Montesi, Marco Peressotti, Florian Rademacher, S. Sachweh","doi":"10.1007/978-3-030-78142-2_17","DOIUrl":"https://doi.org/10.1007/978-3-030-78142-2_17","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129014236","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
Manifestly Phased Communication via Shared Session Types 通过共享会话类型进行明显的阶段性通信
International Conference on Coordination Models and Languages Pub Date : 2021-01-15 DOI: 10.1007/978-3-030-78142-2_2
Chuta Sano, Stephanie Balzer, F. Pfenning
{"title":"Manifestly Phased Communication via Shared Session Types","authors":"Chuta Sano, Stephanie Balzer, F. Pfenning","doi":"10.1007/978-3-030-78142-2_2","DOIUrl":"https://doi.org/10.1007/978-3-030-78142-2_2","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-01-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121195302","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
The Structure of Concurrent Process Histories 并发进程历史的结构
International Conference on Coordination Models and Languages Pub Date : 2020-10-16 DOI: 10.1007/978-3-030-78142-2_13
Chad Nester
{"title":"The Structure of Concurrent Process Histories","authors":"Chad Nester","doi":"10.1007/978-3-030-78142-2_13","DOIUrl":"https://doi.org/10.1007/978-3-030-78142-2_13","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115427819","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}
引用次数: 7
Coordination of Tasks on a Real-Time OS 实时操作系统上的任务协调
International Conference on Coordination Models and Languages Pub Date : 2019-06-18 DOI: 10.1007/978-3-030-22397-7_15
G. Cledou, J. Proença, B. Sputh, E. Verhulst
{"title":"Coordination of Tasks on a Real-Time OS","authors":"G. Cledou, J. Proença, B. Sputh, E. Verhulst","doi":"10.1007/978-3-030-22397-7_15","DOIUrl":"https://doi.org/10.1007/978-3-030-22397-7_15","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123840670","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
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学术文献互助群
群 号:604180095
Book学术官方微信