Eva Graversen

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 14

Top Topics

Event Detection

Functional Analysis

Internal Structures

Top Venues

J. Log. Algebraic Methods Program.

J. Funct. Program.

Publications

Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi
Alice or Bob?: Process polymorphism in choreographies. J. Funct. Program. 34 (2024)
Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi
Alice or Bob?: Process Polymorphism in Choreographies. CoRR (2023)
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti
Reasoning about Choreographic Programs. CoRR (2023)
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
Modular Compilation for Higher-Order Functional Choreographies. ECOOP (2023)
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti
Reasoning About Choreographic Programs. COORDINATION (2023)
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
Functional Choreographic Programming. ICTAC (2022)
Eva Graversen, Iain Phillips, Nobuko Yoshida
-calculus. J. Log. Algebraic Methods Program. 124 (2022)
Eva Graversen, Iain C. C. Phillips, Nobuko Yoshida
Event structure semantics of (controlled) reversible CCS. J. Log. Algebraic Methods Program. 121 (2021)
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
Choreographies as Functions. CoRR (2021)
Eva Graversen, Iain C. C. Phillips, Nobuko Yoshida
Event structures for the reversible early internal Pi-calculus. CoRR (2020)
Eva Graversen, Iain Phillips, Nobuko Yoshida
Event Structures for the Reversible Early Internal π-Calculus. RC (2020)
Eva Graversen, Iain Phillips, Nobuko Yoshida
Towards a categorical representation of reversible event structures. J. Log. Algebraic Methods Program. 104 (2019)
Eva Graversen, Iain Phillips, Nobuko Yoshida
Event Structure Semantics of (controlled) Reversible CCS. RC (2018)
Eva Graversen, Iain Phillips, Nobuko Yoshida
Towards a Categorical Representation of Reversible Event Structures. PLACES@ETAPS (2017)