Kārlis Čerāns

• Decidability of bisimulation equivalences for processes with parallel timers