Pub Date : 2013-06-03DOI: 10.1007/978-3-642-38493-6_17
H. Vieira, V. Vasconcelos
{"title":"Typing Progress in Communication-Centred Systems","authors":"H. Vieira, V. Vasconcelos","doi":"10.1007/978-3-642-38493-6_17","DOIUrl":"https://doi.org/10.1007/978-3-642-38493-6_17","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114279539","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 : 2013-06-03DOI: 10.1007/978-3-642-38493-6_3
Tiago Cogumbreiro, F. Martins, V. Vasconcelos
{"title":"Coordinating Phased Activities while Maintaining Progress","authors":"Tiago Cogumbreiro, F. Martins, V. Vasconcelos","doi":"10.1007/978-3-642-38493-6_3","DOIUrl":"https://doi.org/10.1007/978-3-642-38493-6_3","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130681194","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 : 2013-06-03DOI: 10.1007/978-3-642-38493-6_5
Thomas Given-Wilson, D. Gorla
{"title":"Pattern Matching and Bisimulation","authors":"Thomas Given-Wilson, D. Gorla","doi":"10.1007/978-3-642-38493-6_5","DOIUrl":"https://doi.org/10.1007/978-3-642-38493-6_5","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134395374","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 : 2013-06-03DOI: 10.1007/978-3-642-38493-6_7
L. Henrio, F. Huet, Z. István
{"title":"Multi-threaded Active Objects","authors":"L. Henrio, F. Huet, Z. István","doi":"10.1007/978-3-642-38493-6_7","DOIUrl":"https://doi.org/10.1007/978-3-642-38493-6_7","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"202 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123967780","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 : 2013-06-03DOI: 10.1007/978-3-642-38493-6_11
S. Mariani, Andrea Omicini
{"title":"Probabilistic Modular Embedding for Stochastic Coordinated Systems","authors":"S. Mariani, Andrea Omicini","doi":"10.1007/978-3-642-38493-6_11","DOIUrl":"https://doi.org/10.1007/978-3-642-38493-6_11","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128079742","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 : 2013-06-03DOI: 10.1007/978-3-642-38493-6_6
Soguy Mak Karé Gueye, N. D. Palma, É. Rutten
{"title":"Component-Based Autonomic Managers for Coordination Control","authors":"Soguy Mak Karé Gueye, N. D. Palma, É. Rutten","doi":"10.1007/978-3-642-38493-6_6","DOIUrl":"https://doi.org/10.1007/978-3-642-38493-6_6","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114216173","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 : 2013-06-03DOI: 10.1007/978-3-642-38493-6_1
L. Bortolussi, D. Latella, M. Massink
{"title":"Stochastic Process Algebra and Stability Analysis of Collective Systems","authors":"L. Bortolussi, D. Latella, M. Massink","doi":"10.1007/978-3-642-38493-6_1","DOIUrl":"https://doi.org/10.1007/978-3-642-38493-6_1","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131068276","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 : 2013-06-03DOI: 10.1007/978-3-642-38493-6_15
J. Proença, D. Clarke
{"title":"Interactive Interaction Constraints","authors":"J. Proença, D. Clarke","doi":"10.1007/978-3-642-38493-6_15","DOIUrl":"https://doi.org/10.1007/978-3-642-38493-6_15","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116608272","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 : 2012-06-14DOI: 10.1007/978-3-642-30829-1_11
M. Massink, D. Latella
{"title":"Fluid Analysis of Foraging Ants","authors":"M. Massink, D. Latella","doi":"10.1007/978-3-642-30829-1_11","DOIUrl":"https://doi.org/10.1007/978-3-642-30829-1_11","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114649334","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 : 2012-06-14DOI: 10.1007/978-3-642-30829-1_10
Michal Terepeta, H. R. Nielson, F. Nielson
{"title":"Recursive Advice for Coordination","authors":"Michal Terepeta, H. R. Nielson, F. Nielson","doi":"10.1007/978-3-642-30829-1_10","DOIUrl":"https://doi.org/10.1007/978-3-642-30829-1_10","url":null,"abstract":"","PeriodicalId":193535,"journal":{"name":"International Conference on Coordination Models and Languages","volume":"24 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120860411","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
扫码关注我们
求助内容：
应助结果提醒方式：