@inproceedings(AC18,
 author       = {Bogdan Aman and Gabriel Ciobanu},
 year         = {2018},
 title        = {Controlled Reversibility in Reaction Systems},
 editor       = {Marian Gheorghe and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron},
 booktitle    = {Membrane Computing},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {40--53},
 doi          = {10.1007/978-3-319-73359-3_3},
)
@inproceedings(AKPN15,
 author       = {Youssef Arbach and David Karcher and Kirstin Peters and Uwe Nestmann},
 year         = {2015},
 title        = {Dynamic Causality in Event Structures},
 editor       = {Susanne Graf and Mahesh Viswanathan},
 booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {83--97},
 doi          = {10.1007/978-3-319-19195-9_6},
)
@article(ABG16,
 author       = {Armas-Cervantes, Abel and Paolo Baldan and Garcia-Banuelos, Luciano},
 year         = {2016},
 title        = {Reduction of event structures under history preserving bisimulation},
 journal      = {Journal of Logical and Algebraic Methods in Programming},
 volume       = {85},
 number       = {6},
 pages        = {1110--1130},
 doi          = {10.1016/j.jlamp.2015.10.004},
)
@article(AC17,
 author       = {Clement Aubert and Ioana Cristescu},
 year         = {2017},
 title        = {Contextual equivalences in configuration structures and reversibility},
 journal      = {Journal of Logical and Algebraic Methods in Programming},
 volume       = {86},
 number       = {1},
 pages        = {77--106},
 doi          = {10.1016/j.jlamp.2016.08.004},
)
@article(BM94,
 author       = {Christel Baier and Majster-Cederbaum, Mila},
 year         = {1994},
 title        = {The connection between an event structure semantics and an operational semantics forTCSP},
 journal      = {Acta Informatica},
 volume       = {31},
 number       = {1},
 doi          = {10.1007/BF01178923},
)
@inproceedings(BGMPPP22,
 author       = {Kamila Barylska and Anna Gogolinska and Lukasz Mikulski and Anna Philippou and Marcin Piatkowski and Kyriaki Psara},
 year         = {2022},
 title        = {Formal Translation from Reversing Petri Nets to Coloured Petri Nets},
 editor       = {Claudio~Antares Mezzina and Krzysztof Podlaski},
 booktitle    = {Reversible Computation},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {172--186},
 doi          = {10.1007/978-3-031-09005-9_12},
)
@inproceedings(BGV17,
 author       = {Eike Best and Nataliya Gribovskaya and Irina Virbitskaite},
 year         = {2017},
 title        = {Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict},
 editor       = {Bernhard Steffen and Christel Baier and Mark van~den Brand and Johann Eder and Mike Hinchey and Tiziana Margaria},
 booktitle    = {SOFSEM 2017: Theory and Practice of Computer Science},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {132--146},
 doi          = {10.1007/978-3-319-51963-0_11},
)
@inproceedings(BGV18,
 author       = {Eike Best and Nataliya Gribovskaya and Irina Virbitskaite},
 year         = {2018},
 title        = {From Event-Oriented Models to Transition Systems},
 editor       = {Victor Khomenko and Olivier~H. Roux},
 booktitle    = {Application and Theory of Petri Nets and Concurrency},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {117--139},
 doi          = {10.1007/978-3-319-91268-4_7},
)
@inproceedings(B90,
 author       = {G{\'e}rard Boudol},
 year         = {1990},
 title        = {Flow event structures and flow nets},
 editor       = {Ir{\`e}ne Guessarian},
 booktitle    = {Semantics of Systems of Concurrent Processes},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {62--95},
 doi          = {10.1007/3-540-53479-2_4},
)
@inproceedings(CVY12,
 author       = {Silvia Crafa and Daniele Varacca and Nobuko Yoshida},
 year         = {2012},
 title        = {Event Structure Semantics of Parallel Extrusion in the $\pi$-Calculus},
 editor       = {Lars Birkedal},
 booktitle    = {Foundations of Software Science and Computational Structures},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {225--239},
 doi          = {10.1007/978-3-642-28729-9_15},
)
@inproceedings(DK05,
 author       = {Vincent Danos and Jean Krivine},
 year         = {2005},
 title        = {Transactions in RCCS},
 editor       = {Mart{\'i}n Abadi and Luca de~Alfaro},
 booktitle    = {CONCUR 2005 -- Concurrency Theory},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {398--412},
 doi          = {10.1007/11539452_31},
)
@book(DDV18,
 author       = {De~Vos, Alexis and De~Baerdemacker, Stijn and Van~Rentergem, Yvan},
 year         = {2018},
 title        = {Synthesis of Quantum Circuits vs. Synthesis of Classical Reversible Circuits},
 edition      = {first},
 publisher    = {Springer Cham},
 doi          = {10.1007/978-3-031-79895-5},
)
@inproceedings(FKM19,
 author       = {David de~Frutos~Escrig and Maciej Koutny and {\L}ukasz Mikulski},
 year         = {2019},
 title        = {Reversing Steps in Petri Nets},
 editor       = {Susanna Donatelli and Stefan Haar},
 booktitle    = {Application and Theory of Petri Nets and Concurrency},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {171--191},
 doi          = {10.1007/978-3-030-21571-2_11},
)
@article(GPY21,
 author       = {Eva Graversen and Iain Phillips and Nobuko Yoshida},
 year         = {2021},
 title        = {Event structure semantics of (controlled) reversible CCS},
 journal      = {Journal of Logical and Algebraic Methods in Programming},
 volume       = {121},
 pages        = {100686},
 doi          = {10.1016/j.jlamp.2021.100686},
)
@article(HKT96,
 author       = {P.W. Hoogers and H.C.M. Kleijn and P.S. Thiagarajan},
 year         = {1996},
 title        = {An event structure semantics for general Petri nets},
 journal      = {Theoretical Computer Science},
 volume       = {153},
 number       = {1},
 pages        = {129--170},
 doi          = {10.1016/0304-3975(95)00120-4},
)
@article(K18,
 author       = {Jarkko Kari},
 year         = {2018},
 title        = {Reversible Cellular Automata: From Fundamental Classical Results to Recent Developments},
 journal      = {New Generation Computing},
 volume       = {36},
 number       = {3},
 pages        = {145--172},
 doi          = {10.1007/s00354-018-0034-6},
)
@phdthesis(K96,
 author       = {Joost-Pieter Katoen},
 year         = {1996},
 title        = {Quantitative and Qualitative Extensions of Event Structures},
 school       = {University of Twente},
 address      = {Netherlands},
)
@inbook(KACPPU20,
 author       = {Stefan Kuhn and Bogdan Aman and Gabriel Ciobanu and Anna Philippou and Kyriaki Psara and Irek Ulidowski},
 year         = {2020},
 title        = {Reversibility in Chemical Reactions},
 pages        = {151--176},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 doi          = {10.1007/978-3-030-47361-7_7},
)
@article(LMS16,
 author       = {Ivan Lanese and Claudio~Antares Mezzina and Jean-Bernard Stefani},
 year         = {2016},
 title        = {Reversibility in the higher-order $\pi$-calculus},
 journal      = {Theoretical Computer Science},
 volume       = {625},
 pages        = {25--84},
 doi          = {10.1016/j.tcs.2016.02.019},
)
@inproceedings(LPV19,
 author       = {Ivan Lanese and Adri{\'a}n Palacios and Germ{\'a}n Vidal},
 year         = {2019},
 title        = {Causal-Consistent Replay Debugging for Message Passing Programs},
 editor       = {Jorge~A. P{\'e}rez and Nobuko Yoshida},
 booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {167--184},
 doi          = {10.1007/978-3-030-21759-4_10},
)
@inproceedings(L93,
 author       = {Rom Langerak},
 year         = {1991},
 title        = {Bundle event structures: a non-interleaving semantics for LOTOS},
 editor       = {Michel Diaz and Roland Groz},
 booktitle    = {Formal Description Techniques V},
 series       = {IFIP transactions C, Communication systems},
 publisher    = {North Holland},
 address      = {Netherlands},
 pages        = {331--346},
 note         = {5th International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE 1992},
)
@article(MR98,
 author       = {Majster-Cederbaum, Mila and Markus Roggenbach},
 year         = {1998},
 title        = {Transition systems from event structures revisited},
 journal      = {Information Processing Letters},
 volume       = {67},
 number       = {3},
 pages        = {119--124},
 doi          = {10.1016/S0020-0190(98)00105-7},
)
@inproceedings(MMPY20,
 author       = {Doriana Medi{\'{c}} and Claudio~Antares Mezzina and Iain Phillips and Nobuko Yoshida},
 year         = {2020},
 title        = {Towards a Formal Account for Software Transactional Memory},
 editor       = {Ivan Lanese and Mariusz Rawski},
 booktitle    = {Reversible Computation},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {255--263},
 doi          = {10.1007/978-3-030-52482-1_16},
)
@inproceedings(MMP21,
 author       = {Hernan Melgratti and Claudio~Antares Mezzina and G.~Michele~Pinna},
 year         = {2021},
 title        = {A distributed operational view of Reversible Prime Event Structures},
 booktitle    = {2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
 pages        = {1--13},
 doi          = {10.1109/LICS52264.2021.9470623},
)
@inproceedings(MMPPU20,
 author       = {Hernan Melgratti and Claudio~Antares Mezzina and Iain Phillips and G.~Michele Pinna and Irek Ulidowski},
 year         = {2020},
 title        = {Reversible Occurrence Nets and Causal Reversible Prime Event Structures},
 editor       = {Ivan Lanese and Mariusz Rawski},
 booktitle    = {Reversible Computation},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {35--53},
 doi          = {10.1007/978-3-030-52482-1_2},
)
@article(PP20,
 author       = {Anna Philippou and Kyriaki Psara},
 year         = {2020},
 title        = {Reversible Computation in Cyclic Petri Nets},
 journal      = {CoRR},
 volume       = {abs/2010.04000},
 doi          = {10.48550/arXiv.2010.04000},
)
@article(PU15,
 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(PUY13,
 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    = {Reversible Computation},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {218--232},
 doi          = {10.1007/978-3-642-36315-3_18},
)
@inproceedings(P18,
 author       = {Giovanni~Michele Pinna},
 year         = {2017},
 title        = {Reversing steps in membrane systems computations},
 editor       = {M.~Gheorghe and G.~Rozenberg and A.~Salomaa and C.~Zandron},
 booktitle    = {Membrane Computing},
 volume       = {10725},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {245--261},
 doi          = {10.1007/978-3-319-73359-3_16},
)
@article(UPY18,
 author       = {Irek Ulidowski and Iain Phillips and Shoji Yuen},
 year         = {2018},
 title        = {Reversing event structures},
 journal      = {New Generation Computing},
 volume       = {36},
 number       = {3},
 pages        = {281--306},
 doi          = {10.1007/s00354-018-0040-8},
)
@article(GP09,
 author       = {{van Glabbeek}, R.J. and G.D. Plotkin},
 year         = {2009},
 title        = {Configuration structures, event structures and Petri nets},
 journal      = {Theoretical Computer Science},
 volume       = {410},
 number       = {41},
 pages        = {4111--4159},
 doi          = {10.1016/j.tcs.2009.06.014},
)
@phdthesis(W80,
 author       = {Glynn Winskel},
 year         = {1980},
 title        = {Events in computation},
 school       = {University of Edinburgh},
)
@inproceedings(W89,
 author       = {Glynn Winskel},
 year         = {1989},
 title        = {An introduction to event structures},
 editor       = {J.~W. de~Bakker and W.~P. de~Roever and G.~Rozenberg},
 booktitle    = {Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {364--397},
 doi          = {10.1007/BFb0013026},
)