Eva Graversen

According to our database, Eva Graversen authored at least 11 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Alice or Bob?: Process polymorphism in choreographies.

Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi

J. Funct. Program., 2024

2023

Modular Compilation for Higher-Order Functional Choreographies.

Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

Reasoning About Choreographic Programs.

Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti

Proceedings of the Coordination Models and Languages, 2023

2022

Event structures for the reversible early internal <i>π</i>-calculus.

Eva Graversen, Iain Phillips, Nobuko Yoshida

J. Log. Algebraic Methods Program., 2022

Functional Choreographic Programming.

Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

Event structure semantics of reversible process calculi

Eva Graversen

PhD thesis, 2021

Event structure semantics of (controlled) reversible CCS.

Eva Graversen, Iain C. C. Phillips, Nobuko Yoshida

J. Log. Algebraic Methods Program., 2021

Choreographies as Functions.

Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti

CoRR, 2021

2020

Event structures for the reversible early internal Pi-calculus.

Eva Graversen, Iain C. C. Phillips, Nobuko Yoshida

CoRR, 2020

Event Structures for the Reversible Early Internal π-Calculus.

Eva Graversen, Iain Phillips, Nobuko Yoshida

Proceedings of the Reversible Computation - 12th International Conference, 2020

2019

Towards a categorical representation of reversible event structures.

Eva Graversen, Iain Phillips, Nobuko Yoshida

J. Log. Algebraic Methods Program., 2019