The produoidal algebra of process decompositionEarnshaw, Matthew David; Hefford, James; Román, Mario32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)2024 / art. 25, 19 p. ill https://doi.org/10.4230/LIPIcs.CSL.2024.25 Conference proceedings at Scopus Article at Scopus Article at WOS