2 results
Enhanced coalgebraic bisimulation
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 7 / October 2017
- Published online by Cambridge University Press:
- 09 December 2015, pp. 1236-1264
-
- Article
-
- You have access
- Export citation
6 - Enhancements of the bisimulation proof method
-
-
- Book:
- Advanced Topics in Bisimulation and Coinduction
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011, pp 233-289
-
- Chapter
- Export citation