%0 Conference Paper %1 conf/dimacs/ChandyS94 %A Chandy, K. Mani %A Sanders, Beverly A. %B Specification of Parallel Algorithms %D 1994 %E Blelloch, Guy E. %E Chandy, K. Mani %E Jagannathan, Suresh %I DIMACS/AMS %K dblp %P 51-63 %T Compositional Specifications of Parallel Programs: NondeterministicData Flow. %U http://dblp.uni-trier.de/db/conf/dimacs/dimacs18.html#ChandyS94 %V 18 %@ 978-0-8218-0253-3

@inproceedings{conf/dimacs/ChandyS94, added-at = {2022-06-09T00:00:00.000+0200}, author = {Chandy, K. Mani and Sanders, Beverly A.}, biburl = {https://www.bibsonomy.org/bibtex/2f6cd2f580c8a2d92442f605cf8132923/dblp}, booktitle = {Specification of Parallel Algorithms}, crossref = {conf/dimacs/dimacs18}, editor = {Blelloch, Guy E. and Chandy, K. Mani and Jagannathan, Suresh}, ee = {https://doi.org/10.1090/dimacs/018/04}, interhash = {6c47d7fdd4efb297362be0fbbbfae529}, intrahash = {f6cd2f580c8a2d92442f605cf8132923}, isbn = {978-0-8218-0253-3}, keywords = {dblp}, pages = {51-63}, publisher = {DIMACS/AMS}, series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science}, timestamp = {2024-04-09T17:59:31.000+0200}, title = {Compositional Specifications of Parallel Programs: NondeterministicData Flow.}, url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs18.html#ChandyS94}, volume = 18, year = 1994 }