E. Allen Emerson, Jai Srinivasan. A Decidable Temporal Logic to Reason About Many Processes. In PODC. pages 233-246, 1990. [doi]
@inproceedings{EmersonS90,
title = {A Decidable Temporal Logic to Reason About Many Processes},
author = {E. Allen Emerson and Jai Srinivasan},
year = {1990},
doi = {10.1145/93385.93425},
url = {http://doi.acm.org/10.1145/93385.93425},
tags = {e-science, logic},
researchr = {https://researchr.org/publication/EmersonS90},
cites = {0},
citedby = {0},
pages = {233-246},
booktitle = {PODC},
}