Roel van der Goot, Arie de Bruin. Syntax and Semantics of Procol. 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 509-518, Springer, 1995.
@inproceedings{GootB95,
title = {Syntax and Semantics of Procol},
author = {Roel van der Goot and Arie de Bruin},
year = {1995},
tags = {semantics},
researchr = {https://researchr.org/publication/GootB95},
cites = {0},
citedby = {0},
pages = {509-518},
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},
}