More on bisimulations for higher order π-calculus

Zining Cao. More on bisimulations for higher order π-calculus. Theoretical Computer Science, 446:1-19, 2012. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: