Weak Bisimulations for Coalgebras over Ordered Functors

Lecture Notes in Computer Science - Theoretical Computer Science ◽

10.1007/978-3-642-33475-7_7 ◽

2012 ◽

pp. 87-103 ◽

Author(s):

Tomasz Brengos

Download Full-text