Skip to content

On Path-Based Coalgebras and Weak Notions of Bisimulation.

Harsh Beohar, Sebastian Kpper

VenueBCALCO
Year2017
ProceedingsCALCO

Browse the full CALCO paper archive.