Ramanujam and P.S. Thiagarajan: A Logical Study of Distributed Transition Systems (1995)

by K Lodaya, R Parikh, R
Venue:Proc. FST & TSC’93, LNCS 761