Pub Date : 2018-06-18DOI: 10.1007/978-3-319-92408-3_3
Giovanni Ciatto, S. Mariani, M. Louvel, Andrea Omicini, F. Zambonelli
{"title":"Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives","authors":"Giovanni Ciatto, S. Mariani, M. Louvel, Andrea Omicini, F. Zambonelli","doi":"10.1007/978-3-319-92408-3_3","DOIUrl":"https://doi.org/10.1007/978-3-319-92408-3_3","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"387 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122842068","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}
Pub Date : 2018-06-18DOI: 10.1007/978-3-319-92408-3_4
D. Darquennes, Jean-Marie Jacquet, Isabelle Linden
{"title":"On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study","authors":"D. Darquennes, Jean-Marie Jacquet, Isabelle Linden","doi":"10.1007/978-3-319-92408-3_4","DOIUrl":"https://doi.org/10.1007/978-3-319-92408-3_4","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124159495","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}
Pub Date : 2018-06-18DOI: 10.1007/978-3-319-92408-3_11
P. Sutra, P. Marlier, V. Schiavoni, François Trahay
{"title":"Boosting Transactional Memory with Stricter Serializability","authors":"P. Sutra, P. Marlier, V. Schiavoni, François Trahay","doi":"10.1007/978-3-319-92408-3_11","DOIUrl":"https://doi.org/10.1007/978-3-319-92408-3_11","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134547402","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}
Pub Date : 2017-06-19DOI: 10.1007/978-3-319-59746-1_5
M. Louvel, F. Pacull, É. Rutten, Adja Ndeye Sylla
{"title":"Development Tools for Rule-Based Coordination Programming in LINC","authors":"M. Louvel, F. Pacull, É. Rutten, Adja Ndeye Sylla","doi":"10.1007/978-3-319-59746-1_5","DOIUrl":"https://doi.org/10.1007/978-3-319-59746-1_5","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115558128","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}
Pub Date : 2017-06-19DOI: 10.1007/978-3-319-59746-1_3
Marco Krauweel, S. Jongmans
{"title":"Simpler Coordination of JavaScript Web Workers","authors":"Marco Krauweel, S. Jongmans","doi":"10.1007/978-3-319-59746-1_3","DOIUrl":"https://doi.org/10.1007/978-3-319-59746-1_3","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115065428","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}
Pub Date : 2017-06-19DOI: 10.1007/978-3-319-59746-1_8
F. Gadducci, Hernán C. Melgratti, Christian Roldán
{"title":"A Denotational View of Replicated Data Types","authors":"F. Gadducci, Hernán C. Melgratti, Christian Roldán","doi":"10.1007/978-3-319-59746-1_8","DOIUrl":"https://doi.org/10.1007/978-3-319-59746-1_8","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"292 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134328779","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}
Pub Date : 2017-06-19DOI: 10.1007/978-3-319-59746-1_7
F. Barbanera, Ivan Lanese, Ugo de'Liguoro
{"title":"Retractable and Speculative Contracts","authors":"F. Barbanera, Ivan Lanese, Ugo de'Liguoro","doi":"10.1007/978-3-319-59746-1_7","DOIUrl":"https://doi.org/10.1007/978-3-319-59746-1_7","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132898326","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}
Pub Date : 2017-06-19DOI: 10.1007/978-3-319-59746-1_6
Keigo Imai, N. Yoshida, Shoji Yuen
{"title":"Session-ocaml: A Session-Based Library with Polarities and Lenses","authors":"Keigo Imai, N. Yoshida, Shoji Yuen","doi":"10.1007/978-3-319-59746-1_6","DOIUrl":"https://doi.org/10.1007/978-3-319-59746-1_6","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116201960","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}
Pub Date : 2017-06-19DOI: 10.1007/978-3-319-59746-1_13
G. Bernardi, Adrian Francalanza
{"title":"Full-Abstraction for Must Testing Preorders - (Extended Abstract)","authors":"G. Bernardi, Adrian Francalanza","doi":"10.1007/978-3-319-59746-1_13","DOIUrl":"https://doi.org/10.1007/978-3-319-59746-1_13","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133218893","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}
Pub Date : 2017-06-19DOI: 10.1007/978-3-319-59746-1_11
S. Bliudze, Alena Simalatsar, A. Zolotukhina
{"title":"Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies","authors":"S. Bliudze, Alena Simalatsar, A. Zolotukhina","doi":"10.1007/978-3-319-59746-1_11","DOIUrl":"https://doi.org/10.1007/978-3-319-59746-1_11","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121366487","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号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：