An extensional formulation of st bisimulation (1992)

by R Gorrieri, C Laneve
Venue:In Proc. of the 4th Italian Conference on Theoretical Computer Science (ICTCS '92