Algebraic Synchronization Trees and Processes

Luca Aceto, Arnaud Carayol, Zoltán Ésik +1

We study algebraic synchronization trees, i.e., initial solutions of algebraic recursion schemes over the continuous categorical algebra of synchronization trees. In particular, we…