A bisimulation for dynamic sealing (0)

by Eijiro Sumii, Benjamin Pierce
Venue:Theoretical Computer Science