Polar Interleavings for Deadlock-Free Message-Passing
- Article (pdf).
Abstract: We introduce message theories, a notion of asynchronous multi-party message passing. We show that the operations of a message theory correspond to polar interleavings, a certain kind of directed acyclic graph.
Polar shuffles form a monoidal multicategory, it is the free polarized physical monoidal multicategory over a set of generators.