Pub Date : 2018-04-07DOI: 10.1007/978-3-319-90089-6_2
K. Apt, E. Shoja
{"title":"Self-stabilization Through the Lens of Game Theory","authors":"K. Apt, E. Shoja","doi":"10.1007/978-3-319-90089-6_2","DOIUrl":"https://doi.org/10.1007/978-3-319-90089-6_2","url":null,"abstract":"","PeriodicalId":445416,"journal":{"name":"It's All About Coordination","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2018-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132856016","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-04-07DOI: 10.1007/978-3-319-90089-6_5
K. Blom
{"title":"Personal Note: Working with Farhad Arbab 1990-2005","authors":"K. Blom","doi":"10.1007/978-3-319-90089-6_5","DOIUrl":"https://doi.org/10.1007/978-3-319-90089-6_5","url":null,"abstract":"","PeriodicalId":445416,"journal":{"name":"It's All About Coordination","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2018-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132028653","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 : 1900-01-01DOI: 10.1007/978-3-319-90089-6_7
Jean-Marie Jacquet, Isabelle Linden, D. Darquennes
{"title":"On the Relation Between Control-Based and Data-Based Coordination Languages","authors":"Jean-Marie Jacquet, Isabelle Linden, D. Darquennes","doi":"10.1007/978-3-319-90089-6_7","DOIUrl":"https://doi.org/10.1007/978-3-319-90089-6_7","url":null,"abstract":"","PeriodicalId":445416,"journal":{"name":"It's All About Coordination","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131241265","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 : 1900-01-01DOI: 10.1007/978-3-319-90089-6_1
Wil M.P. van der Aalst
{"title":"Discovering the \"Glue\" Connecting Activities - Exploiting Monotonicity to Learn Places Faster","authors":"Wil M.P. van der Aalst","doi":"10.1007/978-3-319-90089-6_1","DOIUrl":"https://doi.org/10.1007/978-3-319-90089-6_1","url":null,"abstract":"","PeriodicalId":445416,"journal":{"name":"It's All About Coordination","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127435250","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 : 1900-01-01DOI: 10.1007/978-3-319-90089-6_14
Leendert van der Torre, Tjitze Rienstra, D. Gabbay
{"title":"Argumentation as Exogenous Coordination","authors":"Leendert van der Torre, Tjitze Rienstra, D. Gabbay","doi":"10.1007/978-3-319-90089-6_14","DOIUrl":"https://doi.org/10.1007/978-3-319-90089-6_14","url":null,"abstract":"","PeriodicalId":445416,"journal":{"name":"It's All About Coordination","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125105229","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 : 1900-01-01DOI: 10.1007/978-3-319-90089-6_13
C. Talcott
{"title":"From Soft Agents to Soft Component Automata and Back","authors":"C. Talcott","doi":"10.1007/978-3-319-90089-6_13","DOIUrl":"https://doi.org/10.1007/978-3-319-90089-6_13","url":null,"abstract":"","PeriodicalId":445416,"journal":{"name":"It's All About Coordination","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114573161","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 : 1900-01-01DOI: 10.1007/978-3-319-90089-6_3
C. Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
{"title":"Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination","authors":"C. Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz","doi":"10.1007/978-3-319-90089-6_3","DOIUrl":"https://doi.org/10.1007/978-3-319-90089-6_3","url":null,"abstract":"","PeriodicalId":445416,"journal":{"name":"It's All About Coordination","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115151020","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 : 1900-01-01DOI: 10.1007/978-3-319-90089-6_10
Gerco van Heerdt, B. Jacobs, Tobias Kappé, Alexandra Silva
{"title":"Learning to Coordinate","authors":"Gerco van Heerdt, B. Jacobs, Tobias Kappé, Alexandra Silva","doi":"10.1007/978-3-319-90089-6_10","DOIUrl":"https://doi.org/10.1007/978-3-319-90089-6_10","url":null,"abstract":"","PeriodicalId":445416,"journal":{"name":"It's All About Coordination","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123463506","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 : 1900-01-01DOI: 10.1007/978-3-319-90089-6_12
Yi Li, Meng Sun
{"title":"Generating Arduino C Codes from Mediator","authors":"Yi Li, Meng Sun","doi":"10.1007/978-3-319-90089-6_12","DOIUrl":"https://doi.org/10.1007/978-3-319-90089-6_12","url":null,"abstract":"","PeriodicalId":445416,"journal":{"name":"It's All About Coordination","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126176460","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 : 1900-01-01DOI: 10.1007/978-3-319-90089-6_8
R. Schlatte, E. Johnsen, J. Mauro, S. L. T. Tarifa, Ingrid Chieh Yu
{"title":"Release the Beasts: When Formal Methods Meet Real World Data","authors":"R. Schlatte, E. Johnsen, J. Mauro, S. L. T. Tarifa, Ingrid Chieh Yu","doi":"10.1007/978-3-319-90089-6_8","DOIUrl":"https://doi.org/10.1007/978-3-319-90089-6_8","url":null,"abstract":"","PeriodicalId":445416,"journal":{"name":"It's All About Coordination","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127376553","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}