Algebraic laws for nondeterminism and concurrency (1985)

by M Hennessy, R Milner
Venue:J. ACM