Bialgebraic Operational Semantics and Modal Logic.

Bartek Klin

Browse the full LICS paper archive.