LEADER 02928nam  2200625 a 450 
001 9910484568803321
005 20200520144314.0
010   $a1-280-38689-4
010   $a9786613564818
010   $a3-642-13414-9
024 7 $a10.1007/978-3-642-13414-2
035   $a(CKB)2670000000028934
035   $a(SSID)ssj0000446394
035   $a(PQKBManifestationID)11282011
035   $a(PQKBTitleCode)TC0000446394
035   $a(PQKBWorkID)10491224
035   $a(PQKB)10473253
035   $a(DE-He213)978-3-642-13414-2
035   $a(MiAaPQ)EBC3065365
035   $a(PPN)14906361X
035   $a(EXLCZ)992670000000028934
100   $a20100423d2010      uy         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCoordination models and languages $e12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings /$f[edited by] Dave Clarke, Gul Agha
205   $a1st ed.
210   $aNew York $cSpringer$d2010
215   $a1 online resource (XI, 183 p. 50 illus.)
225 1 $aLecture notes in computer science,$x0302-9743 ;$v6116
225 1 $aLNCS sublibrary. SL 2, Programming and software engineering
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-13413-0 
320   $aIncludes bibliographical references and index.
327   $aObservables 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.
410  0$aLecture notes in computer science ;$v6116.
410  0$aLNCS sublibrary.$nSL 2,$pProgramming and software engineering.
517 3 $aCOORDINATION 2010
606   $aParallel processing (Electronic computers)$vCongresses
606   $aElectronic data processing$xDistributed processing$vCongresses
615  0$aParallel processing (Electronic computers)
615  0$aElectronic data processing$xDistributed processing
676   $a005.27
701   $aClarke$b Dave$f1971-$0253996
701   $aGul$b Agha$cDr.$01763668
712 12$aCOORDINATION 2010
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484568803321
996   $aCoordination models and languages$94204254
997   $aUNINA