000 04456nam a22006135i 4500
001 978-3-642-02138-1
003 DE-He213
005 20240730180404.0
007 cr nn 008mamaa
008 100301s2009 gw | s |||| 0|eng d
020 _a9783642021381
_9978-3-642-02138-1
024 7 _a10.1007/978-3-642-02138-1
_2doi
050 4 _aTK5105.5-5105.9
072 7 _aUKN
_2bicssc
072 7 _aCOM043000
_2bisacsh
072 7 _aUKN
_2thema
082 0 4 _a004.6
_223
245 1 0 _aFormal Techniques for Distributed Systems
_h[electronic resource] :
_bJoint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings /
_cedited by David Lee, Antonia Lopes, Arnd Poetzsch-Heffter.
250 _a1st ed. 2009.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2009.
300 _aXII, 249 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v5522
505 0 _aInvited Contribution -- The Orc Programming Language -- Regular Contributions -- Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions -- Approximated Context-Sensitive Analysis for Parameterized Verification -- Verification of Parameterized Systems with Combinations of Abstract Domains -- On Model-Checking Optimistic Replication Algorithms -- Recursive Parametric Automata and ?-Removal -- A Software Platform for Timed Mobility and Timed Interaction -- Modeling, Validation, and Verification of PCEP Using the IF Language -- Distinguing Non-deterministic Timed Finite State Machines -- System Model-Based Definition of Modeling Language Semantics -- Typing Component-Based Communication Systems -- Epistemic Logic for the Applied Pi Calculus -- On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems -- Short Papers -- Using First-Order Logic to Reason about Submodule Construction -- A Model-Checking Approach for Service Component Architectures -- Dynamic Symbolic Execution of Distributed Concurrent Objects -- Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach -- A Type Graph Model for Java Programs -- Conformance Testing of Network Simulators Based on Metamorphic Testing Technique.
520 _aThis book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009. The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.
650 0 _aComputer networks .
_931572
650 0 _aSoftware engineering.
_94138
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputer programming.
_94169
650 0 _aComputer science.
_99832
650 1 4 _aComputer Communication Networks.
_9119971
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aProgramming Techniques.
_9119972
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
700 1 _aLee, David.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9119973
700 1 _aLopes, Antonia.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9119974
700 1 _aPoetzsch-Heffter, Arnd.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9119975
710 2 _aSpringerLink (Online service)
_9119976
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642021374
776 0 8 _iPrinted edition:
_z9783642021398
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v5522
_9119977
856 4 0 _uhttps://doi.org/10.1007/978-3-642-02138-1
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c90296
_d90296