Bialgebraic Methods and Modal Logic in Structural Operational Semantics (2007)
by
Bartek Klin
| Venue: | Electronic Notes in Theoretical Computer Science |
| Citations: | 4 - 1 self |
Document Versions
| Bialgebraic Methods and Modal Logic in Structural Operational Semantics –Bartek Klin — 2007 — Electronic Notes in Theoretical Computer Science |
