دانلود کتاب Formal Techniques for Distributed Systems: Joint 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

فهرست مطالب :

Front Matter....Pages -
The Orc Programming Language....Pages 1-25
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions....Pages 26-40
Approximated Context-Sensitive Analysis for Parameterized Verification....Pages 41-56
Verification of Parameterized Systems with Combinations of Abstract Domains....Pages 57-72
On Model-Checking Optimistic Replication Algorithms....Pages 73-89
Recursive Parametric Automata and ε -Removal....Pages 90-105
A Software Platform for Timed Mobility and Timed Interaction....Pages 106-121
Modeling, Validation, and Verification of PCEP Using the IF Language....Pages 122-136
Distinguing Non-deterministic Timed Finite State Machines....Pages 137-151
System Model-Based Definition of Modeling Language Semantics....Pages 152-166
Typing Component-Based Communication Systems....Pages 167-181
Epistemic Logic for the Applied Pi Calculus....Pages 182-197
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems....Pages 198-212
Using First-Order Logic to Reason about Submodule Construction....Pages 213-218
A Model-Checking Approach for Service Component Architectures....Pages 219-224
Dynamic Symbolic Execution of Distributed Concurrent Objects....Pages 225-230
Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach....Pages 231-236
A Type Graph Model for Java Programs....Pages 237-242
Conformance Testing of Network Simulators Based on Metamorphic Testing Technique....Pages 243-248
Back Matter....Pages -