03812nam 22007455 450 99646562880331620200706141845.03-642-21464-910.1007/978-3-642-21464-6(CKB)2670000000083966(SSID)ssj0000530660(PQKBManifestationID)11348235(PQKBTitleCode)TC0000530660(PQKBWorkID)10567714(PQKB)10666092(DE-He213)978-3-642-21464-6(MiAaPQ)EBC3066798(PPN)153859113(EXLCZ)99267000000008396620110607d2011 u| 0engurnn|008mamaatxtccrCoordination Models and Languages[electronic resource] 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings /edited by Wolfgang De Meuter, Gruia-Catalin Roman1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (XII, 219 p. 69 illus., 18 illus. in color.) Programming and Software Engineering ;6721Bibliographic Level Mode of Issuance: Monograph3-642-21463-0 Includes bibliographical references and index.This book constitutes the refereed proceedings of the 13th International Conference on Coordination Models and Languages, COORDINATION 2011, held in Reykjavik, Iceland, in June 2011, as one of the  DisCoTec 2011 events. The 14 revised full papers presented were carefully reviewed and selected from 35 submissions. The conference focuses on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, run-time systems, and related verication and analysis techniques.Programming and Software Engineering ;6721Software 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/I18040Software 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).005.1De Meuter Wolfgangedthttp://id.loc.gov/vocabulary/relators/edtRoman Gruia-Catalinedthttp://id.loc.gov/vocabulary/relators/edtCOORDINATION (Conference)BOOK996465628803316Coordination Models and Languages772324UNISA