A Recipe for State-and-Effect Triangles

Bart Jacobs. A Recipe for State-and-Effect Triangles. In Lawrence S. Moss, Pawel Sobocinski, editors, 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands. Volume 35 of LIPIcs, pages 116-129, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

Abstract

Abstract is missing.