Bialgebraic Operational Semantics and Modal Logic (extended abstract)

by Bartek Klin