Bialgebraic Methods and Modal Logic in Structural Operational Semantics (2007)

by Bartek Klin
Venue:Electronic Notes in Theoretical Computer Science
Citations:8 - 3 self

Document Versions

Bialgebraic Methods and Modal Logic in Structural Operational Semantics –Bartek Klin — 2007 — Electronic Notes in Theoretical Computer Science
Bialgebraic methods and modal logic in structural operational semantics –Bartek Klin — Information and Computation