From CML to its process algebra, Theoretical Computer Science 155 (1996)

by F Nielson, H R Nielson