LEADER 05735nam 22008535 450 001 9910484651403321 005 20251226203936.0 010 $a1-280-38692-4 010 $a9786613564849 010 $a3-642-13464-5 024 7 $a10.1007/978-3-642-13464-7 035 $a(CKB)2670000000028944 035 $a(SSID)ssj0000446476 035 $a(PQKBManifestationID)11297678 035 $a(PQKBTitleCode)TC0000446476 035 $a(PQKBWorkID)10496361 035 $a(PQKB)11263282 035 $a(DE-He213)978-3-642-13464-7 035 $a(MiAaPQ)EBC3065355 035 $a(PPN)149063644 035 $a(BIP)30771402 035 $a(EXLCZ)992670000000028944 100 $a20100607d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Techniques for Distributed Systems $eJoint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings /$fedited by John Hatcliff, Elena Zucca 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XII, 233 p. 40 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v6117 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-13463-7 320 $aIncludes bibliographical references and index. 327 $aInvited Talk -- Formal Software Verification: How Close Are We? -- Formal UML Modeling -- Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning -- Reactive Semantics for Distributed UML Activities -- Components and Architecture -- Statistical Abstraction and Model-Checking of Large Heterogeneous Systems -- Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude -- Testing Probabilistic Distributed Systems -- Specification and Testing of E-Commerce Agents Described by Using UIOLTSs -- Testing Attribute-Based Transactions in SOC -- Joint DisCoTec Session -- Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory -- Timed Process Algebra -- Forgetting the Time in Timed Process Algebra -- Theory and Implementation of a Real-Time Extension to the ?-Calculus -- Timed and Hybrid Automata -- Fuzzy-Timed Automata -- Model Checking of Hybrid Systems Using Shallow Synchronization -- Program Logics and Analysis -- Heap-Dependent Expressions in Separation Logic -- Static Type Analysis of Pattern Matching by Abstract Interpretation -- Reasoning about Distributed Systems -- On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols -- On Efficient Models for Model Checking Message-Passing Distributed Protocols -- Logics for Contravariant Simulations. 330 $aIn 2010 the internationalfederated conferenceson Distributed Computing Te- niques (DisCoTec) tookplacein Amsterdam,during June 7-9.It washosted and organized by the Centrum voor Wiskunde & Informatica. DisCoTec conferences jointly cover the complete spectrum of distributed computing subjects ranging from theoretical foundations to formal speci?- tion techniques to practical considerations. The 12th International Conference on Coordination Models and Languages (Coordination) focused on the design and implementation of models that allow compositional construction of lar- scale concurrent and distributed systems, including both practical and foun- tionalmodels,run-timesystems,andrelatedveri'cationandanalysistechniques. The 10th IFIP International Conference on Distributed Applications and Int- operable Systems in particular elicited contributions on architectures, models, technologies and platforms for large-scale and complex distributed applications and services that are related to the latest trends in bridging the physical/virtual worlds based on ?exible and versatile service architectures and platforms. The 12th Formal Methods for Open Object-Based Distributed Systems and 30th FormalTechniques for NetworkedandDistributed Systems together emphasized distributed computing models and formal speci'cation, testing and veri'cation methods. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v6117 606 $aComputer networks 606 $aComputer programming 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aMachine theory 606 $aComputer Communication Networks 606 $aProgramming Techniques 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 615 0$aComputer networks. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 0$aMachine theory. 615 14$aComputer Communication Networks. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 676 $a004.36 701 $aHatcliff$b John$f1966-$01752543 701 $aZucca$b Elena$0307386 712 12$aFORTE 2010$f(2010 :$eAmsterdam, Netherlands) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484651403321 996 $aFormal techniques for distributed systems$94187864 997 $aUNINA