LEADER 03038nam  2200541 a 450 
001 9910484811003321
005 20200520144314.0
024 7 $a10.1007/b135676
035   $a(CKB)1000000000212915
035   $a(SSID)ssj0000317031
035   $a(PQKBManifestationID)11240579
035   $a(PQKBTitleCode)TC0000317031
035   $a(PQKBWorkID)10287731
035   $a(PQKB)11701247
035   $a(DE-He213)978-3-540-32006-7
035   $a(MiAaPQ)EBC3067753
035   $a(PPN)123093953
035   $a(EXLCZ)991000000000212915
100   $a20050304d2005      uy         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCoordination models and languages $e7th international conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005 ; proceedings /$fJean-Marie Jacquet, Gian Pietro Picco (eds.)
205   $a1st ed. 2005.
210   $aBerlin $cSpringer$d2005
215   $a1 online resource (X, 299 p.) 
225 1 $aLecture notes in computer science,$x0302-9743 ;$v3454
300   $aInternat. conference proceedings.
311 08$aPrinted edition: 9783540256304 
320   $aIncludes bibliographical references and index.
327   $aA Case Study of Web Services Orchestration -- A Correct Abstract Machine for Safe Ambients -- A Process Calculus for QoS-Aware Applications -- Abstract Interpretation-Based Verification of Non-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination with Multicapabilities -- Delegation Modeling with Paradigm -- Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space -- Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach -- Experience Using a Coordination-Based Architecture for Adaptive Web Content Provision -- Global Computing in a Dynamic Network of Tuple Spaces -- Mobile Agent Based Fault-Tolerance Support for the Reliable Mobile Computing Systems -- Preserving Architectural Properties in Multithreaded Code Generation -- Prioritized and Parallel Reactions in Shared Data Space Coordination Languages -- Synchronized Hyperedge Replacement for Heterogeneous Systems -- Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications -- Tagged Sets: A Secure and Transparent Coordination Medium -- Time-Aware Coordination in ReSpecT -- Transactional Aspects in Semantic Based Discovery of Services.
410  0$aLecture notes in computer science ;$v3454.
517 3 $aCOORDINATION 2005
606   $aParallel processing (Electronic computers)$vCongresses
615  0$aParallel processing (Electronic computers)
676   $a004/.35
701   $aJacquet$b J.-M$g(Jean-Marie)$01220864
701   $aPicco$b Gian Pietro$01752929
712 12$aCOORDINATION 2005
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484811003321
996   $aCoordination models and languages$94188434
997   $aUNINA