Composition and Recursion for Causal Structures

Henning Basold, Tanjona Ralaivaosaona. Composition and Recursion for Causal Structures. In Paolo Baldan, Valeria de Paiva, editors, 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA. Volume 270 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Abstract

Abstract is missing.