03792nam 22007455 450 99646531920331620200703075230.03-642-30829-510.1007/978-3-642-30829-1(CKB)3400000000085312(SSID)ssj0000697478(PQKBManifestationID)11419909(PQKBTitleCode)TC0000697478(PQKBWorkID)10709327(PQKB)11010684(DE-He213)978-3-642-30829-1(MiAaPQ)EBC3070419(PPN)168317796(EXLCZ)99340000000008531220120608d2012 u| 0engurnn|008mamaatxtccrCoordination Models and Languages[electronic resource] 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings /edited by Marjan Sirjani1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (XIV, 277 p. 96 illus.) Programming and Software Engineering ;7274Bibliographic Level Mode of Issuance: Monograph3-642-30828-7 Includes bibliographical references and index.This book constitutes the refereed proceedings of the 14th International Conference on Coordination Models and Languages, COORDINATION 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 18 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems.Programming and Software Engineering ;7274Software engineeringComputer programmingComputer communication systemsComputersApplication softwareSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Models and Principleshttps://scigraph.springernature.com/ontologies/product-market-codes/I18016Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Conference papers and proceedings.fastSoftware engineering.Computer programming.Computer communication systems.Computers.Application software.Software Engineering.Programming Techniques.Software Engineering/Programming and Operating Systems.Computer Communication Networks.Models and Principles.Information Systems Applications (incl. Internet).004/.36Sirjani Marjanedthttp://id.loc.gov/vocabulary/relators/edtCOORDINATION (Conference)BOOK996465319203316Coordination Models and Languages772324UNISA