Skip to main content

Computing maximal bisimulations

Alexandre Bougakov‚ Thomas Gibson Robinson and A.W. Roscoe

Journal
Proceedings of ICFEM
Year
2014