English
Formal Techniques for Distributed Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 The Orc Programming Language
-
Altmetric BadgeChapter 2 Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions
-
Altmetric BadgeChapter 3 Approximated Context-Sensitive Analysis for Parameterized Verification
-
Altmetric BadgeChapter 4 Verification of Parameterized Systems with Combinations of Abstract Domains
-
Altmetric BadgeChapter 5 On Model-Checking Optimistic Replication Algorithms
-
Altmetric BadgeChapter 6 Formal Techniques for Distributed Systems
-
Altmetric BadgeChapter 7 A Software Platform for Timed Mobility and Timed Interaction
-
Altmetric BadgeChapter 8 Modeling, Validation, and Verification of PCEP Using the IF Language
-
Altmetric BadgeChapter 9 Distinguing Non-deterministic Timed Finite State Machines
-
Altmetric BadgeChapter 10 System Model-Based Definition of Modeling Language Semantics
-
Altmetric BadgeChapter 11 Typing Component-Based Communication Systems
-
Altmetric BadgeChapter 12 Epistemic Logic for the Applied Pi Calculus
-
Altmetric BadgeChapter 13 On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems
-
Altmetric BadgeChapter 14 Using First-Order Logic to Reason about Submodule Construction
-
Altmetric BadgeChapter 15 A Model-Checking Approach for Service Component Architectures
-
Altmetric BadgeChapter 16 Dynamic Symbolic Execution of Distributed Concurrent Objects
-
Altmetric BadgeChapter 17 Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach
-
Altmetric BadgeChapter 18 A Type Graph Model for Java Programs
-
Altmetric BadgeChapter 19 Conformance Testing of Network Simulators Based on Metamorphic Testing Technique