Formal Methods for Concurrency
Clive Fencott · 1996
Introduction to Concurrency. Building Specifications: A Language for Concurrency. Formal Definition. A First Case Study. Value Passing. Traffic Lights. Time. The Home Heating System. Reasoning About Speficiations: Theories of Equivalence. Equational Laws. Properties of Specifications. Safety and CCS. Tools, Methods and Lifecysles: Tool Support. Lifecycles, Methods and CCS. Implementation Issues. Reference Manual: Syntax and Semantics. Equivalences. Equational Laws. Temporal Logic.