@inproceedings{DBLP:conf/wlp/ChakravartyGKL95,
author = {Manuel M. T. Chakravarty and
Yike Guo and
Martin K{\"o}hler and
Hendrik C. R. Lock},
title = {Co-ordinating Parallel Computation through Equational Constraints},
booktitle = {WLP},
year = {1995},
pages = {123-132},
bibsource = {DBLP, http://dblp.uni-trier.de}
}