Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan. A Logical Study of Distributed Transition Systems. Inf. Comput., 119(1):91-118, May 1995.
@article{LodayaPRT95,
title = {A Logical Study of Distributed Transition Systems},
author = {Kamal Lodaya and Rohit Parikh and Ramaswamy Ramanujam and P. S. Thiagarajan},
year = {1995},
month = {May},
researchr = {https://researchr.org/publication/LodayaPRT95},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {119},
number = {1},
pages = {91-118},
}