Tree-functors, determinacy and bisimulations

Rocco De Nicola, Daniele Gorla, Anna Labella. Tree-functors, determinacy and bisimulations. Mathematical Structures in Computer Science, 20(3):319-358, 2010. [doi]

Abstract

Abstract is missing.