Modularity of Behaviours for Mathematical Operational Semantics
Under a Creative Commons license
open access
Keywords
Mathematical operational semantics
modularity
timed transition systems
comonads
distributive laws
Cited by (0)
- 1
This work is supported by EPSRC grants GR/N64571, GR/R67842/01, GR/N23141 and GR/586372/01, and EC grant IST-1999-29082.
Copyright © 2004 Elsevier B.V.