Decidability of Bisimulation Equivalences for Parallel Timer Processes (1992)

by K ˘Cerāns
Venue:In Proc. 4th CAV, LNCS 663