Algebraic laws for nondeterminism and concurrency (1985)

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