Chinese
Communicating Sequential Processes. The First 25 Years
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Retracing the Semantics of CSP
-
Altmetric BadgeChapter 2 Seeing Beyond Divergence
-
Altmetric BadgeChapter 3 Process Algebra: A Unifying Approach
-
Altmetric BadgeChapter 4 Linking Theories of Concurrency
-
Altmetric BadgeChapter 5 CSP, occam and Transputers
-
Altmetric BadgeChapter 6 Models for Data-Flow Sequential Processes
-
Altmetric BadgeChapter 7 Implementation of Handshake Components
-
Altmetric BadgeChapter 8 A Trace Semantics for Long-Running Transactions
-
Altmetric BadgeChapter 9 Practical Application of CSP and FDR to Software Design
-
Altmetric BadgeChapter 10 Communicating Sequential Processes. The First 25 Years
-
Altmetric BadgeChapter 11 Model-Based Design of Concurrent Programs
-
Altmetric BadgeChapter 12 Of Probabilistic wp and CSP —and Compositionality
-
Altmetric BadgeChapter 13 Order, Topology, and Recursion Induction in CSP
-
Altmetric BadgeChapter 14 Communicating Sequential Processes. The First 25 Years
-
Altmetric BadgeChapter 15 Shedding Light on Haunted Corners of Information Security
-
Altmetric BadgeChapter 16 Operational Semantics for Fun and Profit
-
Altmetric BadgeChapter 17 On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations
-
Altmetric BadgeChapter 18 Industrial Strength CSP: Opportunities and Challenges in Model-Checking
-
Altmetric BadgeChapter 19 Applied Formal Methods – From CSP to Executable Hybrid Specifications