Pub Date : 2019-06-17DOI: 10.1007/978-3-030-22397-7_6
M. Autili, A. D. Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
{"title":"CHOReVOLUTION: Automating the Realization of Highly-Collaborative Distributed Applications","authors":"M. Autili, A. D. Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli","doi":"10.1007/978-3-030-22397-7_6","DOIUrl":"https://doi.org/10.1007/978-3-030-22397-7_6","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125298811","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 : 2019-06-17DOI: 10.1007/978-3-030-22397-7_2
Hernán C. Melgratti, C. A. Mezzina, I. Ulidowski
{"title":"Reversing P/T Nets","authors":"Hernán C. Melgratti, C. A. Mezzina, I. Ulidowski","doi":"10.1007/978-3-030-22397-7_2","DOIUrl":"https://doi.org/10.1007/978-3-030-22397-7_2","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129244604","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 : 2019-06-17DOI: 10.1007/978-3-030-22397-7_7
R. Nicola, T. Duong, M. Loreti
{"title":"ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication","authors":"R. Nicola, T. Duong, M. Loreti","doi":"10.1007/978-3-030-22397-7_7","DOIUrl":"https://doi.org/10.1007/978-3-030-22397-7_7","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129983136","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 : 2019-06-17DOI: 10.1007/978-3-030-22397-7_14
R. Guanciale
{"title":"DiRPOMS: Automatic Checker of Distributed Realizability of POMSets","authors":"R. Guanciale","doi":"10.1007/978-3-030-22397-7_14","DOIUrl":"https://doi.org/10.1007/978-3-030-22397-7_14","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-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122537243","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 : 2019-06-17DOI: 10.1007/978-3-030-22397-7_13
A. E. M. Suñé, C. L. Pombo
{"title":"Automatic Quality-of-Service Evaluation in Service-Oriented Computing","authors":"A. E. M. Suñé, C. L. Pombo","doi":"10.1007/978-3-030-22397-7_13","DOIUrl":"https://doi.org/10.1007/978-3-030-22397-7_13","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117227450","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 : 2019-06-17DOI: 10.1007/978-3-030-22397-7_10
S. Bliudze, L. Henrio, E. Madelaine
{"title":"Verification of Concurrent Design Patterns with Data","authors":"S. Bliudze, L. Henrio, E. Madelaine","doi":"10.1007/978-3-030-22397-7_10","DOIUrl":"https://doi.org/10.1007/978-3-030-22397-7_10","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"202 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131700013","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 : 2019-06-17DOI: 10.1007/978-3-030-22397-7_11
Roberto Casadei, Danilo Pianini, Mirko Viroli, A. Natali
{"title":"Self-organising Coordination Regions: A Pattern for Edge Computing","authors":"Roberto Casadei, Danilo Pianini, Mirko Viroli, A. Natali","doi":"10.1007/978-3-030-22397-7_11","DOIUrl":"https://doi.org/10.1007/978-3-030-22397-7_11","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132204488","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 : 2019-06-17DOI: 10.1007/978-3-030-22397-7_8
D. Basile, M. T. Beek, R. Pugliese
{"title":"Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies","authors":"D. Basile, M. T. Beek, R. Pugliese","doi":"10.1007/978-3-030-22397-7_8","DOIUrl":"https://doi.org/10.1007/978-3-030-22397-7_8","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"476 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125266611","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 : 2019-06-17DOI: 10.1007/978-3-030-22397-7_12
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
{"title":"Aggregate Processes in Field Calculus","authors":"Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani","doi":"10.1007/978-3-030-22397-7_12","DOIUrl":"https://doi.org/10.1007/978-3-030-22397-7_12","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-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129688199","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
扫码关注我们
求助内容：
应助结果提醒方式：