Richard J. Lipton. Reduction: A New Method of Proving Properties of Systems of Processes. In POPL. pages 78-86, 1975.
@inproceedings{Lipton75:0,
title = {Reduction: A New Method of Proving Properties of Systems of Processes},
author = {Richard J. Lipton},
year = {1975},
researchr = {https://researchr.org/publication/Lipton75%3A0},
cites = {0},
citedby = {0},
pages = {78-86},
booktitle = {POPL},
}