Syntax and Semantics of Procol

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.


Abstract is missing.