Ramanujam and P.S. Thiagarajan: A (1995)

by K Lodaya, R Parikh, R
Venue:Logical Study of Distributed Transition Systems, Information and Computation