Co-ordinating Parallel Computation through Equational Constraints

Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock. Co-ordinating Parallel Computation through Equational Constraints. In WLP. pages 123-132, 1995.

Abstract

Abstract is missing.