The Produoidal Algebra of Process Decomposition

Matt Earnshaw, James Hefford, Mario Román. The Produoidal Algebra of Process Decomposition. In Aniello Murano, Alexandra Silva 0001, editors, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy. Volume 288 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]

Abstract

Abstract is missing.