1 paper
Miroslav Ćirić, Jelena Ignjatović, Nada Damljanović +1
Bisimulations have been widely used in many areas of computer science to model equivalence between various systems, and to reduce the number of states of these systems, whereas uni…