P.S.: A logical study of distributed transition systems (1995)

by K Lodaya, R Parikh, R Ramanujam, Thiagarajan
Venue:Information and Computation