References

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