Transitivity and Difunctionality of Bisimulations

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-40370-0_4 ◽

2016 ◽

pp. 33-52

Author(s):

Mehdi Zarrad ◽

H. Peter Gumm

Download Full-text