Eva Graversen

17 papers A 1C 4Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2025 — conf
Omission Failures in Choreographic Programming.
ICTCS
Eva Graversen, Fabrizio Montesi, Marco Peressotti
2024 J jnl
Alice or Bob?: Process polymorphism in choreographies.
J. Funct. Program.
Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi
2023 J jnl
Alice or Bob?: Process Polymorphism in Choreographies.
CoRR
Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi
2023 A conf
Modular Compilation for Higher-Order Functional Choreographies.
ECOOP
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
2023 C conf
Reasoning About Choreographic Programs.
COORDINATION
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti
2023 J jnl
Reasoning about Choreographic Programs.
CoRR
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti
2022 J jnl
Event structures for the reversible early internal
J. Log. Algebraic Methods Program.
Eva Graversen, Iain Phillips, Nobuko Yoshida
2022 C conf
Functional Choreographic Programming.
ICTAC
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
2021 J jnl
Choreographies as Functions.
CoRR
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
2021 J jnl
Event structure semantics of (controlled) reversible CCS.
J. Log. Algebraic Methods Program.
Eva Graversen, Iain Phillips, Nobuko Yoshida
2021 — —
Event structure semantics of reversible process calculi
Eva Graversen
2020 C conf
Event Structures for the Reversible Early Internal π-Calculus.
RC
Eva Graversen, Iain Phillips, Nobuko Yoshida
2020 J jnl
Event structures for the reversible early internal Pi-calculus.
CoRR
Eva Graversen, Iain Phillips, Nobuko Yoshida
2019 — ed.
2018 Imperial College Computing Student Workshop, ICCSW 2018, London, United Kingdom, September 20-21, 2018
ICCSW
Edoardo Pirovano, Eva Graversen
2019 J jnl
Towards a categorical representation of reversible event structures.
J. Log. Algebraic Methods Program.
Eva Graversen, Iain Phillips, Nobuko Yoshida
2018 C conf
Event Structure Semantics of (controlled) Reversible CCS.
RC
Eva Graversen, Iain Phillips, Nobuko Yoshida
2017 — conf
Towards a Categorical Representation of Reversible Event Structures.
PLACES@ETAPS
Eva Graversen, Iain Phillips, Nobuko Yoshida