An Experiment in Distributed Program Design, Using Control Enrichment.

Marc Shapiro

Browse the full ICDCS paper archive.