William Ferreira, Matthew Hennessy. Towards a Semantic Theory of CML (Extended Abstract). In Jirí Wiedermann, Petr Hájek, editors, Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS 95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings. Volume 969 of Lecture Notes in Computer Science, pages 454-466, Springer, 1995.
@inproceedings{FerreiraH95,
title = {Towards a Semantic Theory of CML (Extended Abstract)},
author = {William Ferreira and Matthew Hennessy},
year = {1995},
researchr = {https://researchr.org/publication/FerreiraH95},
cites = {0},
citedby = {0},
pages = {454-466},
booktitle = {Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS 95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings},
editor = {Jirí Wiedermann and Petr Hájek},
volume = {969},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-60246-1},
}