John H. Reif, A. Prasad Sistla
A Multiprocess Network Logic with Temporal and Spatial Modalities
ICALP, 1983.
@inproceedings{ICALP-1983-ReifS,
author = "John H. Reif and A. Prasad Sistla",
booktitle = "{Proceedings of the 10th Colloquium on Automata, Languages and Programming}",
doi = "10.1007/BFb0036943",
isbn = "3-540-12317-2",
pages = "629--639",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{A Multiprocess Network Logic with Temporal and Spatial Modalities}",
volume = 154,
year = 1983,
}