Algebraic laws for non-determinism and concurrency. (1985)

by M Hennessy, R Milner
Venue:Journal of the ACM