90 citations · 90 across the 1 of their papers we have counts for
1 paper
Miroslav Ćirić, Jelena Ignjatović, Ivana Jančić +1
Recently, two types of simulations (forward and backward simulations) and four types of bisimulations (forward, backward, forward-backward, and backward-forward bisimulations) betw…