Promotional Information

Also available online

Table of Contents

Semantic Foundations.- Retracing the Semantics of CSP.- Seeing Beyond Divergence.- Refinement and Simulation.- Process Algebra: A Unifying Approach.- Linking Theories of Concurrency.- Hardware Synthesis.- CSP, occam and Transputers.- Models for Data-Flow Sequential Processes.- Implementation of Handshake Components.- Transactions.- A Trace Semantics for Long-Running Transactions.- Practical Application of CSP and FDR to Software Design.- Concurrent Programming.- Communicating Mobile Processes.- Model-Based Design of Concurrent Programs.- Linking Theories.- Of Probabilistic wp and CSP—and Compositionality.- Order, Topology, and Recursion Induction in CSP.- Security.- Verifying Security Protocols: An Application of CSP.- Shedding Light on Haunted Corners of Information Security.- Automated Development and Model Checking.- Operational Semantics for Fun and Profit.- On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations.- Industrial Strength CSP.- Industrial Strength CSP: Opportunities and Challenges in Model-Checking.- Applied Formal Methods – From CSP to Executable Hybrid Specifications.