Towards a semantic theory of CML (extended abstract (1995)

by W Ferreira, M Hennessy
Venue:Proc. of MFCS'95