Structural Operational Semantics for Weak Bisimulations

Bard Bloom. Structural Operational Semantics for Weak Bisimulations. Theoretical Computer Science, 146(1&2):25-68, 1995. [doi]

Abstract

Abstract is missing.