Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan. Temporal Logics for Communicating Sequential Agents: I. Int. J. Found. Comput. Sci., 3(2):117-159, 1992.
@article{LodayaRT92,
title = {Temporal Logics for Communicating Sequential Agents: I},
author = {Kamal Lodaya and Ramaswamy Ramanujam and P. S. Thiagarajan},
year = {1992},
tags = {logic},
researchr = {https://researchr.org/publication/LodayaRT92},
cites = {0},
citedby = {0},
journal = {Int. J. Found. Comput. Sci.},
volume = {3},
number = {2},
pages = {117-159},
}