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

Marino Miculan, Marco Peressotti
2016-01-01
Cite
Type
Conference paper
Publication
Proceedings of the 17th Italian Conference on Theoretical Computer Science (ICTCS'16)

Related