Mario Román


Search IconIcon to open search

Polar Interleavings for Deadlock-Free Message-Passing

Last updated Unknown

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.