From CML to its Process Algebra

Flemming Nielson, Hanne Riis Nielson. From CML to its Process Algebra. Theoretical Computer Science, 155(1):179-219, 1996. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: