@CONFERENCE\{IMM1993-01610, author = "F. Nielson and H. Riis Nielson", title = "From {CML} to Process Algebras", year = "1993", pages = "493-508", booktitle = "Proc. {CONCUR'}93", volume = "715", series = "Lecture Notes in Computer Science", editor = "", publisher = "Springer-Verlag", organization = "", address = "", url = "http://www2.compute.dtu.dk/pubdb/pubs/1610-full.html" }