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

Miculan Marino, Peressotti Marco
2016-01-01
Cite PDF
Type
Conference paper