@Inproceedings{EPTCS255.6, author = {Rot, Jurriaan}, year = {2017}, title = {Distributive Laws for Monotone Specifications}, editor = {Peters, Kirstin and Tini, Simone}, booktitle = {{\rm Proceedings Combined 24th International Workshop on} Expressiveness in Concurrency {\rm and 14th Workshop on} Structural Operational Semantics, {\rm Berlin, Germany, 4th September 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {255}, publisher = {Open Publishing Association}, pages = {83-97}, doi = {10.4204/EPTCS.255.6}, }