Algebraic Semantics (Lecture Notes in Computer Science, 99)
Introduction to Concurrency Theory Transition Systems and CCS
L Systems (Lecture Notes in Computer Science, 15)
Compositionality, Concurrency, and Partial Correctness Proof Theories for Networks of Processes, and Their Relationship
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
Semantics of Parallelism: Non-Interleaving Representation of Behaviour
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Current Trends in Concurrency Overviews and Tutorials
Specification and Analysis of Concurrent Systems: The COSY Approach (Monographs in Theoretical Computer Science. An EATCS Series)
Introduction to Process Algebra
