arXiv Computer Science: "Event structures for the reversible early interna…" - CleverLibre Social

arXiv Computer Science @arxiv_cs@social.cleverlibre.org

Event structures for the reversible early internal Pi-calculus. (arXiv:2004.01211v1 [cs.FL]) http://arxiv.org/abs/2004.01211

Apr 06, 2020, 03:00 · · feed2toot · · ·

Sign in to participate in the conversation