Skip to main content

Relating coalgebraic notions of bisimulation

Sam Staton

Journal
Log. Methods Comput. Sci.
Number
1
Volume
7
Year
2011