From cml to process algebras (1993)

by F Nielson, H Nielson
Venue:CONCUR'93, LNCS 715