A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Modularity of Behaviours for Mathematical Operational Semantics
2004
Electronical Notes in Theoretical Computer Science
Some years ago, Turi and Plotkin gave a precise mathematical formulation of a notion of structural operational semantics: their formulation is equivalent to a distributive law of the free monad on a signature over the cofree copointed endofunctor on a behaviour endofunctor. From such a distributive law, one can readily induce a distributive law of the monad over the cofree comonad on the behaviour endofunctor, and much of their analysis can be carried out in the latter terms, adding a little
doi:10.1016/j.entcs.2004.02.030
fatcat:yomj2rtcdbdtzedw6mkmt5ytsm