Sciweavers

Share
ENTCS
2010
130views more  ENTCS 2010»
9 years 1 months ago
Structural Operational Semantics and Modal Logic, Revisited
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...
Bartek Klin
books