On the bisimulation hierarchy of state-to-function transition systems

MICULAN, Marino

PERESSOTTI, Marco