A theory of bisimulation for a fragment of concurrent ML with local names (0)

by A Jeffrey, J Rathke
Venue:Theoretical Computer Science