Process algebra for synchronous communication (1984)

by J A BERGSTRA, J W I’koP
Venue:Inf. Compat