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

Browse the full MFCS paper archive.