Axiomatising finite concurrent processes (1988)

by M Hennessy
Venue:SIAM J. Comput