Partitioning declarative programs into communicating processes.

John M. A. Roy, Mark Nagel, Lubomir Bic

Browse the full SC paper archive.