Structural operational semantics for weak bisimulations (1995)

by B Bloom
Venue:Theoretical Computer Science