Skip to main content
2 events
when toggle format what by license comment
May 27, 2010 at 19:22 comment added supercooldave I am aware that bisimulation is at the core of Rutten's Universal coalgebra: a theory of systems (TCS Volume 249, Issue 1, 17 October 2000, Pages 3-80).
May 27, 2010 at 19:14 history answered Todd Trimble CC BY-SA 2.5