On the reduction of CHOCS bisimulation to ?-calculus bisimulation (1993)

by R Amadio
Venue:in ``Proceedings of CONCUR '93'' (E. Best, Ed.), Lecture Notes in Computer Science