On deciding readiness and failure equivalences for processes (1995)

by D T Huynh, L Tian
Venue:Information and Computation