A format for well-behaved translations between structural operational specifications is derived from a notion of distributive law morphism, previously studied by Power and Watanabe. 1998 ACM Subject Classification F.3.2 Semantics of Programming Languages ‐ Operational semantics
['Bartek Klin', 'Beata Nachyła']
Presenting Morphisms of Distributive Laws