LEADER 02846nam  2200517 a 450 
001 9910483498703321
005 20200520144314.0
024 7 $a10.1007/b103251
035   $a(CKB)1000000000212632
035   $a(SSID)ssj0000317960
035   $a(PQKBManifestationID)11212472
035   $a(PQKBTitleCode)TC0000317960
035   $a(PQKBWorkID)10308262
035   $a(PQKB)11553255
035   $a(DE-He213)978-3-540-31794-4
035   $a(MiAaPQ)EBC3067876
035   $a(PPN)123090466
035   $a(EXLCZ)991000000000212632
100   $a20031106d2005      uy         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aGlobal computing $eIST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004 : revised selected papers /$fCorrado Priami, Paola Quaglia (eds.)
205   $a1st ed. 2005.
210   $aBerlin $cSpringer$dc2005
215   $a1 online resource (VIII, 376 p.) 
225 1 $aLecture notes in computer science,$x0302-9743 ;$v3267
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$aPrinted edition: 9783540241010 
320   $aIncludes bibliographical references and index.
327   $aSymbolic Equivalences for Open Systems -- Specifying and Verifying UML Activity Diagrams Via Graph Transformation -- Mobile UML Statecharts with Localities -- Communities: Concept-Based Querying for Mobile Services -- Towards a Formal Treatment of Secrecy Against Computational Adversaries -- For-LySa: UML for Authentication Analysis -- Performance Analysis of a UML Micro-business Case Study -- Efficient Information Propagation Algorithms in Smart Dust and NanoPeer Networks -- The Kell Calculus: A Family of Higher-Order Distributed Process Calculi -- A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi -- A Generic Membrane Model (Note) -- A Framework for Structured Peer-to-Peer Overlay Networks -- Verifying a Structured Peer-to-Peer Overlay Network: The Static Case -- A Physics-Style Approach to Scalability of Distributed systems -- BGP-Based Clustering for Scalable and Reliable Gossip Broadcast -- Trust Lifecycle Management in a Global Computing Environment -- The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies -- The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation.
410  0$aLecture notes in computer science ;$v3267.
606   $aComputer programming$vCongresses
615  0$aComputer programming
676   $a005
701   $aPriami$b Corrado$01236801
701   $aQuaglia$b Paola$0922789
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483498703321
996   $aGlobal computing$94198447
997   $aUNINA