Skip to content

Coalgebraic Weak Bisimulation from Recursive Equations over Monads.

Sergey Goncharov, Dirk Pattinson

VenueA*ICALP
Year2014
ProceedingsICALP (2)

Browse the full ICALP paper archive.