Skip to main content

Computing maximal weak and other bisimulations

Alexandre Boulgakov‚ Thomas Gibson−Robinson and A.W. Roscoe

Book Title
Formal Aspects of Computing
Year
2016