A logical study of distributed transition systems (1995)

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