Deriving Bisimulation Congruences with Borrowed Contexts

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73859-6_3 ◽

2007 ◽

pp. 36-39

Author(s):

Barbara König

Download Full-text