@inproceedings(CardelliL11,
 author       = "Luca Cardelli and Cosimo Laneve",
 year         = "2011",
 title        = "Reversible structures",
 booktitle    = "CMSB",
 publisher    = "ACM",
 pages        = "131--140",
 doi          = "10.1145/2037509.2037529",
)
@inproceedings(CristescuKV13,
 author       = "I. Cristescu and J. Krivine and D. Varacca",
 year         = "2013",
 title        = "{A Compositional Semantics for the Reversible p-Calculus}",
 booktitle    = "LICS",
 publisher    = "IEEE",
 pages        = "388--397",
 doi          = "10.1109/LICS.2013.45",
)
@inproceedings(DanosK04,
 author       = "Vincent Danos and Jean Krivine",
 year         = "2004",
 title        = "Reversible Communicating Systems",
 booktitle    = "CONCUR",
 series       = "LNCS",
 volume       = "3170",
 publisher    = "Springer",
 pages        = "292--307",
 doi          = "10.1007/978-3-540-28644-8\_19",
)
@article(DanosK07a,
 author       = "Vincent Danos and Jean 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",
)
@techreport(GLMT,
 author       = "E. Giachino and I. Lanese and C.A. Mezzina and F. Tiezzi",
 year         = "2013",
 title        = "{Causal-Consistent Reversibility in a Tuple-Based Language}",
 type         = "Technical Report",
 note         = "\url {http://www.cs.unibo.it/~lanese/work/klaimrev-TR.pdf}",
)
@inproceedings(LaneseMSS11,
 author       = "I. Lanese and C.A. Mezzina and A. Schmitt and J. Stefani",
 year         = "2011",
 title        = "{Controlling Reversibility in Higher-Order Pi}",
 booktitle    = "CONCUR",
 series       = "LNCS",
 volume       = "6901",
 publisher    = "Springer",
 pages        = "297--311",
 doi          = "10.1007/978-3-642-23217-6\_20",
)
@inproceedings(LaneseMS10,
 author       = "I. Lanese and C.A. Mezzina and J. Stefani",
 year         = "2010",
 title        = "Reversing Higher-Order Pi",
 booktitle    = "CONCUR",
 series       = "LNCS",
 volume       = "6269",
 publisher    = "Springer",
 pages        = "478--493",
 doi          = "10.1007/978-3-642-15375-4\_33",
)
@article(PhillipsU07,
 author       = "Iain C. C. Phillips and Irek 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",
)
@techreport(TR,
 author       = "Francesco Tiezzi and Nobuko Yoshida",
 year         = "2014",
 title        = "{Towards Reversible Sessions}",
 type         = "Technical Report",
 note         = "\url {http://cse.lab.imtlucca.it/~tiezzi/papers/places2014_full.pdf}",
)
@article(YoshidaV07,
 author       = "N. Yoshida and V.T. Vasconcelos",
 year         = "2007",
 title        = "{Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication}",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "171",
 number       = "4",
 pages        = "73--93",
 doi          = "10.1016/j.entcs.2007.02.056",
)