Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/tcs/LaneseMS16
AU - Lanese, Ivan
AU - Mezzina, Claudio Antares
AU - Stefani, Jean-Bernard
TI - Reversibility in the higher-order π-calculus.
JO - Theor. Comput. Sci.
VL - 625
SP - 25
EP - 84
PY - 2016//
DO - 10.1016/J.TCS.2016.02.019
UR - https://doi.org/10.1016/j.tcs.2016.02.019
ER -