@article(gsos,
 author       = {L. Aceto},
 year         = {1994},
 title        = {{GSOS} and Finite Labelled Transition Systems},
 journal      = {Theor. Comput. Sci.},
 volume       = {131},
 number       = {1},
 pages        = {181--195},
 doi          = {10.1016/0304-3975(94)90094-9},
)
@article(depsys,
 author       = {A. Avizienis and J.-C. Laprie and B. Randell and C.E. Landwehr},
 year         = {2004},
 title        = {Basic Concepts and Taxonomy of Dependable and Secure Computing},
 journal      = {{IEEE} Trans. Dependable Sec. Comput.},
 volume       = {1},
 number       = {1},
 pages        = {11--33},
 doi          = {10.1109/TDSC.2004.2},
)
@inproceedings(BacciDK11,
 author       = {G. Bacci and V. Danos and O. Kammar},
 year         = {2011},
 title        = {On the Statistical Thermodynamics of Reversible Communicating Processes},
 booktitle    = {{CALCO} 2011},
 series       = {LNCS},
 volume       = {6859},
 publisher    = {Springer},
 pages        = {1--18},
 doi          = {10.1007/978-3-642-22944-2\_1},
)
@article(abs-1101-3262,
 author       = {J. Bengtson and M. Johansson and J. Parrow and B. Victor},
 year         = {2011},
 title        = {Psi-calculi: a framework for mobile processes with nominal data and logic},
 journal      = {Logical Methods in Computer Science},
 volume       = {7},
 number       = {1},
 doi          = {10.2168/LMCS-7(1:11)2011},
)
@article(Bennett73,
 author       = {C.H. Bennett},
 year         = {1973},
 title        = {{Logical Reversibility of Computation}},
 journal      = {IBM Journal of Research and Development},
 volume       = {17},
 number       = {6},
 doi          = {10.1147/rd.176.0525},
)
@article(BorealeS98,
 author       = {M. Boreale and D. Sangiorgi},
 year         = {1998},
 title        = {A Fully Abstract Semantics for Causality in the $\pi$-Calculus},
 journal      = {Acta Inf.},
 volume       = {35},
 number       = {5},
 pages        = {353--400},
 doi          = {10.1007/s002360050124},
)
@inproceedings(castellani,
 author       = {G. Boudol and I. Castellani},
 year         = {1988},
 title        = {Permutation of transitions: An event structure semantics for {CCS} and {SCCS}},
 booktitle    = {Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency},
 series       = {LNCS},
 volume       = {354},
 publisher    = {Springer},
 pages        = {411--427},
 doi          = {10.1007/BFb0013028},
)
@inproceedings(BusiG95,
 author       = {N. Busi and R. Gorrieri},
 year         = {1995},
 title        = {A Petri Net Semantics for pi-Calculus},
 booktitle    = {{CONCUR} Philadelphia, PA, USA, August 21-24, 1995, Proceedings},
 pages        = {145--159},
 doi          = {10.1007/3-540-60218-6_11},
)
@inproceedings(CrafaVY12,
 author       = {S. Crafa and D. Varacca and N. Yoshida},
 year         = {2012},
 title        = {Event Structure Semantics of Parallel Extrusion in the Pi-Calculus},
 booktitle    = {{FOSSACS} 2012},
 series       = {LNCS},
 volume       = {7213},
 publisher    = {Springer},
 pages        = {225--239},
 doi          = {10.1007/978-3-642-28729-9\_15},
)
@inproceedings(CristescuKV13,
 author       = {I.D. Cristescu and J. Krivine and D. Varacca},
 year         = {2013},
 title        = {A Compositional Semantics for the Reversible $\pi$-Calculus},
 booktitle    = {{LICS} 2013},
 pages        = {388--397},
 doi          = {10.1109/LICS.2013.45},
)
@inproceedings(rigidfamily,
 author       = {I.D. Cristescu and J. Krivine and D. Varacca},
 year         = {2015},
 title        = {Rigid Families for {CCS} and the {$\pi$}-calculus},
 booktitle    = {{ICTAC}},
 series       = {LNCS},
 volume       = {9399},
 publisher    = {Springer},
 pages        = {223--240},
 doi          = {10.1007/978-3-319-25150-9\_14},
)
@inproceedings(rccs,
 author       = {V. Danos and J. Krivine},
 year         = {2004},
 title        = {Reversible Communicating Systems},
 booktitle    = {{CONCUR} 2004},
 series       = {LNCS},
 volume       = {3170},
 publisher    = {Springer},
 pages        = {292--307},
 doi          = {10.1007/978-3-540-28644-8\_19},
)
@inproceedings(DanosK05,
 author       = {V. Danos and J. Krivine},
 year         = {2005},
 title        = {Transactions in {RCCS}},
 booktitle    = {{CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005},
 pages        = {398--412},
 doi          = {10.1007/11539452\_31},
)
@article(DanosK07a,
 author       = {V. Danos and J. Krivine},
 year         = {2007},
 title        = {Formal Molecular Biology Done in {CCS-R}},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {180},
 number       = {3},
 pages        = {31--49},
 doi          = {10.1016/j.entcs.2004.01.040},
)
@article(DeganoP99,
 author       = {P. Degano and C. Priami},
 year         = {1999},
 title        = {Non-Interleaving Semantics for Mobile Processes},
 journal      = {Theor. Comput. Sci.},
 volume       = {216},
 number       = {1-2},
 pages        = {237--270},
 doi          = {10.1016/S0304-3975(99)80003-6},
)
@inproceedings(fase,
 author       = {E. Giachino and I. Lanese and C.A. Mezzina},
 year         = {2014},
 title        = {Causal-Consistent Reversible Debugging},
 booktitle    = {{FASE} 2014},
 series       = {LNCS},
 volume       = {8411},
 publisher    = {Springer},
 pages        = {370--384},
 doi          = {10.1007/978-3-642-54804-8\_26},
)
@inproceedings(quantum,
 author       = {J. Grattage},
 year         = {2005},
 title        = {A Functional Quantum Programming Language},
 booktitle    = {LICS},
 publisher    = {IEEE Computer Society},
 address      = {Washington, DC, USA},
 pages        = {249--258},
 doi          = {10.1109/LICS.2005.1},
)
@inproceedings(HildebrandtJN17,
 author       = {T.T. Hildebrandt and C. Johansen and H. Normann},
 year         = {2017},
 title        = {A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus},
 booktitle    = {{LATA}},
 series       = {LNCS},
 volume       = {10168},
 pages        = {51--63},
 doi          = {10.1007/978-3-319-53733-7\_3},
)
@inproceedings(LaneseLMSS13,
 author       = {I. Lanese and M. Lienhardt and C.A. Mezzina and A. Schmitt and J.-B. Stefani},
 year         = {2013},
 title        = {Concurrent Flexible Reversibility},
 booktitle    = {{ESOP} 2013},
 pages        = {370--390},
 doi          = {10.1007/978-3-642-37036-6\_21},
)
@article(rhojournal,
 author       = {I. Lanese and C.A. Mezzina and J.-B. Stefani},
 year         = {2016},
 title        = {Reversibility in the higher-order {$\pi$}-calculus},
 journal      = {Theor. Comput. Sci.},
 volume       = {625},
 pages        = {25--84},
 doi          = {10.1016/j.tcs.2016.02.019},
)
@article(levy,
 author       = {Jean{-}Jacques L{\'{e}}vy},
 year         = {1976},
 title        = {An Algebraic Interpretation of the $\lambda$$\beta$K-Calculus; and an Application of a Labelled $\lambda$ -Calculus},
 journal      = {Theor. Comput. Sci.},
 volume       = {2},
 number       = {1},
 pages        = {97--114},
 doi          = {10.1016/0304-3975(76)90009-8},
)
@inproceedings(MedicM16,
 author       = {D. Medic and C.A. Mezzina},
 year         = {2016},
 title        = {Static {VS} Dynamic Reversibility in {CCS}},
 booktitle    = {Reversible Computation {RC} 2016},
 series       = {LNCS},
 volume       = {9720},
 publisher    = {Springer},
 pages        = {36--51},
 doi          = {10.1007/978-3-319-40578-0\_3},
)
@inproceedings(MedicM17,
 author       = {D. Medic and C.A. Mezzina},
 year         = {2017},
 title        = {Towards Parametric Causal Semantics in $\pi$-calculus},
 booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, Naples, Italy, September 26-28.},
 pages        = {121--125},
)
@article(MMPY18,
 author       = {D. Medic and C.A. Mezzina and I.C.C. Phillips and N. Yoshida},
 year         = {2018},
 title        = {{A Parametric Framework for Reversible $\pi$-Calculi}},
 journal      = {ArXiv e-prints},
 url          = {http://arxiv.org/abs/1807.11800},
)
@book(CCS,
 author       = {R. Milner},
 year         = {1980},
 title        = {A Calculus of Communicating Systems},
 series       = {LNCS},
 volume       = {92},
 publisher    = {Springer},
 doi          = {10.1007/3-540-10235-3},
)
@article(pereracheney2017,
 author       = {R. Perera and J. Cheney},
 year         = {2017},
 title        = {Proof-relevant $\pi$-calculus: a constructive account of concurrency and causality},
 journal      = {Mathematical Structures in Computer Science},
 pages        = {1--37},
 doi          = {10.1017/S096012951700010X},
)
@article(CCSK,
 author       = {I.C.C. Phillips and I. Ulidowski},
 year         = {2007},
 title        = {Reversing algebraic process calculi},
 journal      = {J. Log. Algebr. Program.},
 volume       = {73},
 number       = {1-2},
 pages        = {70--96},
 doi          = {10.1016/j.jlap.2006.11.002},
)
@inproceedings(PhillipsUY13,
 author       = {I.C.C. Phillips and I. Ulidowski and S. Yuen},
 year         = {2013},
 title        = {Modelling of Bonding with Processes and Events},
 booktitle    = {Reversible Computation - {RC} 2013},
 series       = {LNCS},
 volume       = {7948},
 publisher    = {Springer},
 pages        = {141--154},
 doi          = {10.1007/978-3-642-38986-3\_12},
)
@book(sangiobook,
 author       = {D. Sangiorgi and D. Walker},
 year         = {2001},
 title        = {The Pi-Calculus - a Theory of Mobile Processes},
 publisher    = {Cambridge Uni. Press},
)
@article(Zelkowitz,
 author       = {M.V. Zelkowitz},
 year         = {1973},
 title        = {Reversible Execution},
 journal      = {Commun. ACM},
 volume       = {16},
 number       = {9},
 pages        = {566--},
 doi          = {10.1145/362342.362360},
)