Formal Techniques for Distributed Systems

Invited 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.