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

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