From CML to its Process Algebra
F. Nielson, H. Riis Nielson
Type
Journal paper [With referee]
Journal
Theoretical Computer Science
Year
1996
Vol.
155
pp.
179-219
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering