03986nam 22007815 450 99646585850331620230809043041.01-280-38689-497866135648183-642-13414-910.1007/978-3-642-13414-2(CKB)2670000000028934(SSID)ssj0000446394(PQKBManifestationID)11282011(PQKBTitleCode)TC0000446394(PQKBWorkID)10491224(PQKB)10473253(DE-He213)978-3-642-13414-2(MiAaPQ)EBC3065365(PPN)14906361X(EXLCZ)99267000000002893420100607d2010 u| 0engurnn#008mamaatxtccrCoordination Models and Languages[electronic resource] 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings /edited by David Clarke, Gul Agha1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (XI, 183 p. 50 illus.)Programming and Software Engineering ;6116Bibliographic Level Mode of Issuance: Monograph3-642-13413-0 Includes bibliographical references and index.Observables for Mobile and Wireless Broadcasting Systems -- Behavioural Contracts with Request-Response Operations -- NOW: A Workflow Language for Orchestration in Nomadic Networks -- A Calculus for Boxes and Traits in a Java-Like Setting -- JErlang: Erlang with Joins -- A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks -- Compositional Construction of Real-Time Dataflow Networks -- Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks -- Simulation and Analysis of Distributed Systems in Klaim -- Modelling Railway Interlocking Tables Using Coloured Petri Nets -- Efficient Session Type Guided Distributed Interaction -- Scalable Efficient Composite Event Detection.Programming and Software Engineering ;6116Architecture, ComputerSoftware engineeringComputer communication systemsComputer programmingComputersComputer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Models and Principleshttps://scigraph.springernature.com/ontologies/product-market-codes/I18016Amsterdam <2010>swdArchitecture, Computer.Software engineering.Computer communication systems.Computer programming.Computers.Computer System Implementation.Software Engineering/Programming and Operating Systems.Computer Communication Networks.Software Engineering.Programming Techniques.Models and Principles.005.27Clarke Dave,‏ ‎1971-edthttp://id.loc.gov/vocabulary/relators/edtAgha Guledthttp://id.loc.gov/vocabulary/relators/edtCOORDINATION 2010BOOK996465858503316Coordination Models and Languages772324UNISA