Towards a Categorical Representation of Reversible Event Structures. - Eva Graversen; Iain Phillips 001; Nobuko Yoshida (PLACES@ETAPS, 2017)

Event Structures for the Reversible Early Internal π-Calculus. - Eva Graversen; Iain Phillips 001; Nobuko Yoshida (RC, 2020)

Event structures for the reversible early internal Pi-calculus. - Eva Graversen; Iain C. C. Phillips; Nobuko Yoshida (CoRR, 2020)

Choreographies as Functions. - Luís Cruz-Filipe; Eva Graversen; Lovro Lugovic; Fabrizio Montesi; Marco Peressotti (CoRR, 2021)

Event structure semantics of (controlled) reversible CCS. - Eva Graversen; Iain C. C. Phillips; Nobuko Yoshida (J. Log. Algebraic Methods Program., 2021)

Event structure semantics of reversible process calculi - Eva Graversen (2021)

Functional Choreographic Programming. - Luís Cruz-Filipe; Eva Graversen; Lovro Lugovic; Fabrizio Montesi; Marco Peressotti (ICTAC, 2022)

Event structures for the reversible early internal π-calculus. - Eva Graversen; Iain Phillips 001; Nobuko Yoshida (J. Log. Algebraic Methods Program., 2022)

Reasoning About Choreographic Programs. - Luís Cruz-Filipe; Eva Graversen; Fabrizio Montesi; Marco Peressotti (COORDINATION, 2023)

Modular Compilation for Higher-Order Functional Choreographies. - Luís Cruz-Filipe; Eva Graversen; Lovro Lugovic; Fabrizio Montesi; Marco Peressotti (ECOOP, 2023)

Alice or Bob?: Process polymorphism in choreographies. - Eva Graversen; Andrew K. Hirsch; Fabrizio Montesi (J. Funct. Program., 2024)