Paolo Baldan, Andrea Corradini & Ugo Montanari (2001):
Contextual Petri Nets, Asymmetric Event Structures, and Processes.
Information and Computation 171(1),
pp. 1 – 49,
doi:10.1006/inco.2001.3060.
William J Bowman, Roshan P James & Amr Sabry (2011):
Dagger traced symmetric monoidal categories and reversible programming.
In: Workshop on Reversible Computation, RC 2011.
Available at https://williamjbowman.com/resources/cat-rev.pdf.
Ioana Cristescu, Jean Krivine & Daniele Varacca (2013):
A Compositional Semantics for the Reversible pi-Calculus.
In: IEEE Symposium on Logic in Computer Science,
LICS '13.
IEEE Computer Society,
Washington, DC, USA,
pp. 388–397,
doi:10.1109/LICS.2013.45.
Ioana Cristescu, Jean Krivine & Daniele Varacca (2016):
Rigid Families for the Reversible π-Calculus.
In: Reversible Computation - 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings,
Lecture Notes in Computer Science 9720.
Springer,
pp. 3–19,
doi:10.1007/978-3-319-40578-0_1.
Vincent Danos & Jean Krivine (2004):
Reversible Communicating Systems.
In: Philippa Gardner & Nobuko Yoshida: CONCUR,
LNCS 3170.
Springer,
Berlin, Heidelberg,
pp. 292–307,
doi:10.1007/978-3-540-28644-8_19.
Vincent Danos & Jean Krivine (2007):
Formal Molecular Biology Done in CCS-R.
Electronic Notes in Theoretical Computer Science 180(3),
pp. 31 – 49,
doi:10.1016/j.entcs.2004.01.040.
Vincent Danos, Jean Krivine & PawełSobociński (2007):
General Reversibility.
In: EXPRESS 175(3),
pp. 75 – 86,
doi:10.1016/j.entcs.2006.07.036.
Ivan Lanese, Claudio Antares Mezzina & Jean-Bernard Stefani (2010):
Reversing Higher-Order Pi.
In: Paul Gastin & François Laroussinie: CONCUR,
LNCS 6269.
Springer,
Berlin, Heidelberg,
pp. 478–493,
doi:10.1007/978-3-642-15375-4_33.
Ivan Lanese, Claudio Antares Mezzina & Francesco Tiezzi (2014):
Causal-Consistent Reversibility.
Bulletin of the EATCS 114,
pp. 17.
Available at https://hal.inria.fr/hal-01089350.
Mogens Nielsen, Gordon Plotkin & Glynn Winskel (1979):
Petri nets, event structures and domains.
In: Gilles Kahn: Semantics of Concurrent Computation,
LNCS 70.
Springer,
Berlin, Heidelberg,
pp. 266–284,
doi:10.1007/BFb0022474.
Iain Phillips & Irek Ulidowski (2006):
Reversing Algebraic Process Calculi.
In: Luca Aceto & Anna Ingólfsdóttir: FOSSACS,
LNCS 3921.
Springer,
Berlin, Heidelberg,
pp. 246–260,
doi:10.1007/11690634_17.
Iain Phillips & Irek Ulidowski (2007):
Reversibility and Models for Concurrency.
Electr. Notes Theor. Comput. Sci. 192(1),
pp. 93–108,
doi:10.1016/j.entcs.2007.08.018.
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.
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: RC,
LNCS 7581.
Springer,
Berlin, Heidelberg,
pp. 218–232,
doi:10.1007/978-3-642-36315-3_18.
Iain Phillips, Irek Ulidowski & Shoji Yuen (2013):
Modelling of Bonding with Processes and Events.
In: Gerhard W. Dueck & D. Michael Miller: RC,
LNCS 7948.
Springer,
Berlin, Heidelberg,
pp. 141–154,
doi:10.1007/978-3-642-38986-3_12.
Frits W Vaandrager (1989):
A simple definition for parallel composition of prime event structures CS-R8903.
Centre for Mathematics and Computer Science,
P.O. Box 4079, 1009 AB Amsterdam, The Netherlands.
Available at http://www.sws.cs.ru.nl/publications/papers/fvaan/CS-R8903.pdf.
Glynn Winskel (1982):
Event structure semantics for CCS and related languages.
In: Mogens Nielsen & Erik Meineche Schmidt: ICALP,
LNCS 140.
Springer,
Berlin, Heidelberg,
pp. 561–576,
doi:10.1007/BFb0012800.
Glynn Winskel (1987):
Event structures.
In: W. Brauer, W. Reisig & G. Rozenberg: Petri Nets: Applications and Relationships to Other Models of Concurrency. ACPN,
LNCS 255.
Springer,
Berlin, Heidelberg,
pp. 325–392,
doi:10.1007/3-540-17906-2_31.