@article(baldan2001contextual,
 author       = {Paolo Baldan and Andrea Corradini and Ugo Montanari},
 year         = {2001},
 title        = {{Contextual Petri Nets, Asymmetric Event Structures, and Processes}},
 journal      = {{Information and Computation}},
 volume       = {171},
 number       = {1},
 pages        = {1 -- 49},
 doi          = {10.1006/inco.2001.3060},
)
@inproceedings(bowman2011dagger,
 author       = {William~J Bowman and Roshan~P James and Amr Sabry},
 year         = {2011},
 title        = {Dagger traced symmetric monoidal categories and reversible programming},
 booktitle    = {Workshop on Reversible Computation, {RC} 2011},
 url          = {https://williamjbowman.com/resources/cat-rev.pdf},
)
@inproceedings(cristescu2013compositional,
 author       = {Ioana Cristescu and Jean Krivine and Daniele Varacca},
 year         = {2013},
 title        = {A Compositional Semantics for the Reversible pi-Calculus},
 booktitle    = {IEEE Symposium on Logic in Computer Science},
 series       = {LICS '13},
 publisher    = {IEEE Computer Society},
 address      = {Washington, DC, USA},
 pages        = {388--397},
 doi          = {10.1109/LICS.2013.45},
)
@inproceedings(CristescuKV16,
 author       = {Ioana Cristescu and Jean Krivine and Daniele Varacca},
 year         = {2016},
 title        = {Rigid Families for the Reversible {$\pi$}-Calculus},
 booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016, Bologna, Italy, July 7-8, 2016, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {9720},
 publisher    = {Springer},
 pages        = {3--19},
 doi          = {10.1007/978-3-319-40578-0\_1},
)
@inproceedings(danos2004reversible,
 author       = {Vincent Danos and Jean Krivine},
 year         = {2004},
 title        = {{Reversible Communicating Systems}},
 editor       = {Philippa Gardner and Nobuko Yoshida},
 booktitle    = {{CONCUR}},
 series       = {{LNCS}},
 volume       = {3170},
 publisher    = {Springer},
 address      = {{Berlin, Heidelberg}},
 pages        = {292--307},
 doi          = {10.1007/978-3-540-28644-8\_19},
)
@article(DANOS200731,
 author       = {Vincent Danos and Jean Krivine},
 year         = {2007},
 title        = {{Formal Molecular Biology Done in CCS-R}},
 journal      = {{Electronic Notes in Theoretical Computer Science}},
 volume       = {180},
 number       = {3},
 pages        = {31 -- 49},
 doi          = {10.1016/j.entcs.2004.01.040},
)
@inproceedings(danos2007general,
 author       = {Vincent Danos and Jean Krivine and Pawe{\l} Soboci{\'n}ski},
 year         = {2007},
 title        = {General Reversibility},
 booktitle    = {EXPRESS},
 volume       = {175(3)},
 pages        = {75 -- 86},
 doi          = {10.1016/j.entcs.2006.07.036},
)
@inproceedings(lanese2010reversing,
 author       = {Ivan Lanese and Claudio~Antares Mezzina and Jean-Bernard Stefani},
 year         = {2010},
 title        = {{Reversing Higher-Order Pi}},
 editor       = {Paul Gastin and Fran{\c{c}}ois Laroussinie},
 booktitle    = {{CONCUR}},
 series       = {{LNCS}},
 volume       = {6269},
 publisher    = {Springer},
 address      = {{Berlin, Heidelberg}},
 pages        = {478--493},
 doi          = {10.1007/978-3-642-15375-4\_33},
)
@article(lanese2014causal,
 author       = {Ivan Lanese and Claudio~Antares Mezzina and Francesco Tiezzi},
 year         = {2014},
 title        = {{Causal-Consistent Reversibility}},
 journal      = {{Bulletin of the EATCS}},
 volume       = {114},
 pages        = {17},
 url          = {https://hal.inria.fr/hal-01089350},
)
@inproceedings(nielsen1979petri,
 author       = {Mogens Nielsen and Gordon Plotkin and Glynn Winskel},
 year         = {1979},
 title        = {{Petri nets, event structures and domains}},
 editor       = {Gilles Kahn},
 booktitle    = {{Semantics of Concurrent Computation}},
 series       = {{LNCS}},
 volume       = {70},
 publisher    = {{Springer}},
 address      = {{Berlin, Heidelberg}},
 pages        = {266--284},
 doi          = {10.1007/BFb0022474},
)
@inproceedings(phillips2006reversing,
 author       = {Iain Phillips and Irek Ulidowski},
 year         = {2006},
 title        = {{Reversing Algebraic Process Calculi}},
 editor       = {Luca Aceto and Anna Ing{\'o}lfsd{\'o}ttir},
 booktitle    = {{FOSSACS}},
 series       = {{LNCS}},
 volume       = {3921},
 publisher    = {Springer},
 address      = {{Berlin, Heidelberg}},
 pages        = {246--260},
 doi          = {10.1007/11690634\_17},
)
@article(journals/entcs/PhillipsU07,
 author       = {Iain Phillips and Irek Ulidowski},
 year         = {2007},
 title        = {Reversibility and Models for Concurrency},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {192},
 number       = {1},
 pages        = {93--108},
 doi          = {10.1016/j.entcs.2007.08.018},
)
@article(journals/jlp/PhillipsU15,
 author       = {Iain Phillips and Irek Ulidowski},
 year         = {2015},
 title        = {{Reversibility and asymmetric conflict in event structures}},
 journal      = {{Journal of Logical and Algebraic Methods in Programming}},
 volume       = {84},
 number       = {6},
 pages        = {781 -- 805},
 doi          = {10.1016/j.jlamp.2015.07.004},
)
@inproceedings(phillips2012reversible,
 author       = {Iain Phillips and Irek Ulidowski and Shoji Yuen},
 year         = {2013},
 title        = {{A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway}},
 editor       = {Robert Gl{\"u}ck and Tetsuo Yokoyama},
 booktitle    = {{RC}},
 series       = {LNCS},
 volume       = {7581},
 publisher    = {Springer},
 address      = {{Berlin, Heidelberg}},
 pages        = {218--232},
 doi          = {10.1007/978-3-642-36315-3\_18},
)
@inproceedings(phillips2013modelling,
 author       = {Iain Phillips and Irek Ulidowski and Shoji Yuen},
 year         = {2013},
 title        = {{Modelling of Bonding with Processes and Events}},
 editor       = {Gerhard~W. Dueck and D.~Michael Miller},
 booktitle    = {{RC}},
 series       = {{LNCS}},
 volume       = {7948},
 publisher    = {Springer},
 address      = {{Berlin, Heidelberg}},
 pages        = {141--154},
 doi          = {10.1007/978-3-642-38986-3\_12},
)
@inproceedings(ulidowski2014concurrency,
 author       = {Irek Ulidowski and Iain Phillips and Shoji Yuen},
 year         = {2014},
 title        = {{Concurrency and Reversibility}},
 editor       = {Shigeru Yamashita and Shin-ichi Minato},
 booktitle    = {{RC}},
 series       = {{LNCS}},
 volume       = {8507},
 publisher    = {{Springer}},
 address      = {{Cham}},
 pages        = {1--14},
 doi          = {10.1007/978-3-319-08494-7\_1},
)
@techreport(vaandrager1989simple,
 author       = {Frits~W Vaandrager},
 year         = {1989},
 title        = {A simple definition for parallel composition of prime event structures},
 number       = {CS-R8903},
 institution  = {Centre for Mathematics and Computer Science},
 address      = {P.O. Box 4079, 1009 AB Amsterdam, The Netherlands},
 url          = {http://www.sws.cs.ru.nl/publications/papers/fvaan/CS-R8903.pdf},
)
@inproceedings(winskel1982event,
 author       = {Glynn Winskel},
 year         = {1982},
 title        = {{Event structure semantics for {CCS} and related languages}},
 editor       = {Mogens Nielsen and Erik~Meineche Schmidt},
 booktitle    = {{ICALP}},
 series       = {{LNCS}},
 volume       = {140},
 publisher    = {Springer},
 address      = {{Berlin, Heidelberg}},
 pages        = {561--576},
 doi          = {10.1007/BFb0012800},
)
@inproceedings(winskel1986event,
 author       = {Glynn Winskel},
 year         = {1987},
 title        = {Event structures},
 editor       = {W.~Brauer and W.~Reisig and G.~Rozenberg},
 booktitle    = {{Petri Nets: Applications and Relationships to Other Models of Concurrency. ACPN}},
 series       = {{LNCS}},
 volume       = {255},
 publisher    = {Springer},
 address      = {{Berlin, Heidelberg}},
 pages        = {325--392},
 doi          = {10.1007/3-540-17906-2\_31},
)