CSP: A Practical Process Algebra

First Author: Brookes S
Attributed to:  Reducing Cost of Software: A Scalable Model-Based Verification Framework funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1145/3477355.3477365

Publication URI: http://dx.doi.org/10.1145/3477355.3477365

Type: Book Chapter

Book Title: Theories of Programming - The Life and Works of Tony Hoare (2021)

Page Reference: 187-222