Tiezzi, Francesco
Yoshida, Nobuko
This article is maintained by: Elsevier
Article Title: Reversible session-based pi-calculus
Journal Title: Journal of Logical and Algebraic Methods in Programming
CrossRef DOI link to publisher maintained version: https://doi.org/10.1016/j.jlamp.2015.03.004
Content Type: article
Copyright: Copyright © 2015 The Authors. Published by Elsevier Inc.