Eva Graversen

Fabrizio Montesi

Marco Peressotti

Proceedings of the 26th Italian Conference on Theoretical Computer Science, 2025

2024

Alice or Bob?: Process polymorphism in choreographies.

[BibT_eX]

[DOI]

Andrew K. Hirsch

Fabrizio Montesi

J. Funct. Program., 2024

2023

Modular Compilation for Higher-Order Functional Choreographies.

[BibT_eX]

[DOI]

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

Reasoning About Choreographic Programs.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2023

2022

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

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2022

Functional Choreographic Programming.

[BibT_eX]

[DOI]

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

2021

Event structure semantics of reversible process calculi

[BibT_eX]

[DOI]

PhD thesis, 2021

Choreographies as Functions.

[BibT_eX]

[DOI]

CoRR, 2021

2020

Event structures for the reversible early internal Pi-calculus.

[BibT_eX]

[DOI]

Iain C. C. Phillips

CoRR, 2020

Event Structures for the Reversible Early Internal π-Calculus.

[BibT_eX]

[DOI]

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

2019

Towards a categorical representation of reversible event structures.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2019

2018

Event Structure Semantics of (controlled) Reversible CCS.

[BibT_eX]

[DOI]