Skip to main content

CSP: a practical process algebra

S.D. Brookes and A.W. Roscoe

Year
2021