Sciweavers

90
Voted
ENTCS
2010
130views more  ENTCS 2010»
14 years 6 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