Deciding hedged bisimilarity

Publication
Proceedings of the 19th Italian Conference on Theoretical Computer Science

Related