02928nam 2200625 a 450 991048456880332120200520144314.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)99267000000002893420100423d2010 uy 0engurnn#008mamaatxtccrCoordination models and languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings /[edited by] Dave Clarke, Gul Agha1st ed.New York Springer20101 online resource (XI, 183 p. 50 illus.)Lecture notes in computer science,0302-9743 ;6116LNCS sublibrary. SL 2, Programming and software engineeringBibliographic 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.Lecture notes in computer science ;6116.LNCS sublibrary.SL 2,Programming and software engineering.COORDINATION 2010Parallel processing (Electronic computers)CongressesElectronic data processingDistributed processingCongressesParallel processing (Electronic computers)Electronic data processingDistributed processing005.27Clarke Dave1971-253996Gul AghaDr.1763668COORDINATION 2010MiAaPQMiAaPQMiAaPQBOOK9910484568803321Coordination models and languages4204254UNINA