Decidability of bisimulation equivalences for parallel timer processes (1992)

by Karlis Cerans
Venue:In Computer Aided Verification, volume 663 of LNCS