arXiv Computer Science: "Truly Concurrent Pi-Calculi with Reversibility, P…" - CleverLibre Social

arXiv Computer Science @arxiv_cs@social.cleverlibre.org

Truly Concurrent Pi-Calculi with Reversibility, Probabilism and Guards. (arXiv:2109.03278v1 [cs.LO]) http://arxiv.org/abs/2109.03278

Sep 09, 2021, 03:00 · · feed2toot · · ·

Sign in to participate in the conversation