03547nam 22007455 450 991034943620332120251225201957.09783319924083331992408710.1007/978-3-319-92408-3(CKB)3810000000358652(DE-He213)978-3-319-92408-3(MiAaPQ)EBC6301820(PPN)229494226(EXLCZ)99381000000035865220180526d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierCoordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings /edited by Giovanna Di Marzo Serugendo, Michele Loreti1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XII, 281 p. 66 illus.) Programming and Software Engineering,2945-9168 ;108529783319924076 3319924079 System Coordination -- Agent-Oriented Techniques -- Software Architecture -- Formal Analysis -- Design -- Implementation of Languages -- Models -- Multicore Software Systems.This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018. The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: actor-based coordination, tuple- based coordination, agent-oriented techniques, constraints- based coordination, and finally coordination based on shared spaces.Programming and Software Engineering,2945-9168 ;10852Software engineeringOperating systems (Computers)Compilers (Computer programs)Computer systemsComputer networksComputers, Special purposeSoftware EngineeringOperating SystemsCompilers and InterpretersComputer System ImplementationComputer Communication NetworksSpecial Purpose and Application-Based SystemsSoftware engineering.Operating systems (Computers).Compilers (Computer programs).Computer systems.Computer networks.Computers, Special purpose.Software Engineering.Operating Systems.Compilers and Interpreters.Computer System Implementation.Computer Communication Networks.Special Purpose and Application-Based Systems.005Di Marzo Serugendo Giovannaedthttp://id.loc.gov/vocabulary/relators/edtLoreti Micheleedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349436203321Coordination Models and Languages772324UNINA