While polar shuffles only allow one atomic message to happen at a certain time, polar dependences retain the true concurrecy approach: the signature is an expression in a duoidal category, and so unrestricted.
Tags: polar shuffles.
While polar shuffles only allow one atomic message to happen at a certain time, polar dependences retain the true concurrecy approach: the signature is an expression in a duoidal category, and so unrestricted.
Tags: polar shuffles.