04030nam 22007215 450 991034943620332120200629140254.03-319-92408-710.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 ;108523-319-92407-9 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 ;10852Software engineeringOperating systems (Computers)Programming languages (Electronic computers)Architecture, ComputerComputer communication systemsSpecial purpose computersSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14045Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Special Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Software engineering.Operating systems (Computers).Programming languages (Electronic computers).Architecture, Computer.Computer communication systems.Special purpose computers.Software Engineering.Operating Systems.Programming Languages, Compilers, 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