Temporal logics for communicating sequential agents (1992)

by K Lodaya, R Ramanujam, P Thiagarajan
Venue:I. Intern. Journal of Foundations of Computer Science