2 research outputs found
Distributive Laws for Monotone Specifications
Turi and Plotkin introduced an elegant approach to structural operational
semantics based on universal coalgebra, parametric in the type of syntax and
the type of behaviour. Their framework includes abstract GSOS, a categorical
generalisation of the classical GSOS rule format, as well as its categorical
dual, coGSOS. Both formats are well behaved, in the sense that each
specification has a unique model on which behavioural equivalence is a
congruence. Unfortunately, the combination of the two formats does not feature
these desirable properties. We show that monotone specifications - that
disallow negative premises - do induce a canonical distributive law of a monad
over a comonad, and therefore a unique, compositional interpretation.Comment: In Proceedings EXPRESS/SOS 2017, arXiv:1709.0004
Additional file 5: of Testing feedback message framing and comparators to address prescribing of high-risk medications in nursing homes: protocol for a pragmatic, factorial, cluster-randomized trial
Waiver of consent documents: letter of information and debrief to participants in the trial. (DOCX 28 kb