The Derivation of Compositional Programs.

K. Mani Chandy, Carl Kesselman

Browse the full ICLP paper archive.