K. Mani Chandy, Beverly A. Sanders. Compositional Specifications of Parallel Programs: NondeterministicData Flow. In Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan, editors, Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994. Volume 18 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 51-64, DIMACS/AMS, 1994.
@inproceedings{ChandyS94,
title = {Compositional Specifications of Parallel Programs: NondeterministicData Flow},
author = {K. Mani Chandy and Beverly A. Sanders},
year = {1994},
researchr = {https://researchr.org/publication/ChandyS94},
cites = {0},
citedby = {0},
pages = {51-64},
booktitle = {Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994},
editor = {Guy E. Blelloch and K. Mani Chandy and Suresh Jagannathan},
volume = {18},
series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
publisher = {DIMACS/AMS},
}