Axiomatising finite concurrent processes (1988)

by M C B Hennessy
Venue:SIAM Journal on Computing