Compositional C++: Compositional parallel programming (1992)

by K Mani Chandy, Carl Kesselman