Deepak Kapur, Mahadevan Subramaniam. Automated Reasoning About Parallel Algorithms Using Powerlists. In Vangalur S. Alagar, Maurice Nivat, editors, Algebraic Methodology and Software Technology, 4th International Conference, AMAST 95, Montreal, Canada, July 3-7, 1995, Proceedings. Volume 936 of Lecture Notes in Computer Science, pages 416-430, Springer, 1995.
@inproceedings{KapurS95:0,
title = {Automated Reasoning About Parallel Algorithms Using Powerlists},
author = {Deepak Kapur and Mahadevan Subramaniam},
year = {1995},
researchr = {https://researchr.org/publication/KapurS95%3A0},
cites = {0},
citedby = {0},
pages = {416-430},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference, AMAST 95, Montreal, Canada, July 3-7, 1995, Proceedings},
editor = {Vangalur S. Alagar and Maurice Nivat},
volume = {936},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-60043-4},
}