40 citations · 156 across the 43 of their papers we have counts for
1 paper · 2 filters
Marcello M. Bonsangue, Stefan Milius, Jurriaan Rot
Structural operational semantics can be studied at the general level of distributive laws of syntax over behaviour. This yields specification formats for well-behaved algebraic ope…