Structural operational semantics for weak bisimulations, Theoret (1995)

by B Bloom
Venue:Comput. Sci