LEADER 04774nam 22007215 450 001 996465712203316 005 20200705170146.0 010 $a3-319-39519-X 024 7 $a10.1007/978-3-319-39519-7 035 $a(CKB)3710000000711678 035 $a(DE-He213)978-3-319-39519-7 035 $a(MiAaPQ)EBC6298291 035 $a(MiAaPQ)EBC5595508 035 $a(Au-PeEL)EBL5595508 035 $a(OCoLC)1076239882 035 $a(PPN)194077071 035 $a(EXLCZ)993710000000711678 100 $a20160523d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCoordination Models and Languages$b[electronic resource] $e18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /$fedited by Alberto Lluch Lafuente, José Proença 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XIV, 279 p. 83 illus.) 225 1 $aProgramming and Software Engineering ;$v9686 311 $a3-319-39518-1 320 $aIncludes bibliographical references and index. 327 $aMultilevel Transitive and Intransitive Non-Interference, Causally -- A Game Interpretation of Retractable Contracts -- Where Do Your IoT Ingredients Come from? -- Tuple Spaces Implementations and Their Efficiency -- On-the-Fly Mean-field Model-Checking for Attribute-Based Coordination -- Scheduling Games for Concurrent Systems -- ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations -- Modelling Ambulance Deployment with CARMA -- On Synchronous and Asynchronous Compatibility of Communicating Components -- A Semantic Theory of the Internet of Things -- A Formal Analysis of the Global Sequence Protocol -- Improving Gossip Dynamics through Overlapping Replicates -- From Modelling to Systematic Deployment of Distributed Active Objects -- An Interference-Free Programming Model for Network Objects -- On Sessions and Infinite Data -- On Dynamical Probabilities, or: How to Learn to Shoot Straight. 330 $aThis book constitutes the proceedings of the 18th International Conference on Coordination Models and Languages, COORDINATION 2016, held in Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016. The 16 full papers included in this volume were carefully reviewed and selected from 44 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: programming and communication abstractions; communication protocols and behavioural types; actors and concurrent objects; tuple spaces; games, interfaces and contracts; information flow policies and dissemination techniques; and probabilistic models and formal verification. 410 0$aProgramming and Software Engineering ;$v9686 606 $aSoftware engineering 606 $aComputer logic 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aAlgorithms 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 0$aAlgorithms. 615 14$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aAlgorithm Analysis and Problem Complexity. 676 $a005.12 702 $aLluch Lafuente$b Alberto$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aProença$b José$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465712203316 996 $aCoordination Models and Languages$9772324 997 $aUNISA