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