LEADER 03986nam  22007815  450 
001 996465858503316
005 20230809043041.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   $a20100607d2010      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCoordination Models and Languages$b[electronic resource] $e12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings /$fedited by David Clarke, Gul Agha
205   $a1st ed. 2010.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010.
215   $a1 online resource (XI, 183 p. 50 illus.)
225 1 $aProgramming and Software Engineering ;$v6116
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$aProgramming and Software Engineering ;$v6116
606   $aArchitecture, Computer
606   $aSoftware engineering
606   $aComputer communication systems
606   $aComputer programming
606   $aComputers
606   $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aModels and Principles$3https://scigraph.springernature.com/ontologies/product-market-codes/I18016
607   $aAmsterdam <2010>$2swd
615  0$aArchitecture, Computer.
615  0$aSoftware engineering.
615  0$aComputer communication systems.
615  0$aComputer programming.
615  0$aComputers.
615 14$aComputer System Implementation.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aComputer Communication Networks.
615 24$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aModels and Principles.
676   $a005.27
702   $aClarke$b Dave,? ?$f1971-$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aAgha$b Gul$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aCOORDINATION 2010
906   $aBOOK
912   $a996465858503316
996   $aCoordination Models and Languages$9772324
997   $aUNISA