Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands

J. W. de Bakker, Franck van Breugel, Arie de Bruin. Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands. In Andrzej M. Borzyszkowski, Stefan Sokolowski, editors, Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS 93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings. Volume 711 of Lecture Notes in Computer Science, pages 252-261, Springer, 1993.

Abstract

Abstract is missing.