Stephen P. Masticola, Barbara G. Ryder. Non-concurrency Analysis. In PPOPP. pages 129-138, 1993.
@inproceedings{MasticolaR93,
title = {Non-concurrency Analysis},
author = {Stephen P. Masticola and Barbara G. Ryder},
year = {1993},
tags = {analysis},
researchr = {https://researchr.org/publication/MasticolaR93},
cites = {0},
citedby = {0},
pages = {129-138},
booktitle = {PPOPP},
}