Design and Proof of Communicating Sequential Processes

E. Pascal Gribomont. Design and Proof of Communicating Sequential Processes. In J. W. de Bakker, A. J. Nijman, Philip C. Treleaven, editors, PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings. Volume 259 of Lecture Notes in Computer Science, pages 261-276, Springer, 1987.

Authors

E. Pascal Gribomont

This author has not been identified. Look up 'E. Pascal Gribomont' in Google