3 citations · 5 across the 4 of their papers we have counts for
5 papers
Reasoning about Choreographic Programs
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi +1
Choreographic programming is a paradigm where a concurrent or distributed system is developed in a top-down fashion. Programs, called choreographies, detail the desired interaction…
Alice or Bob?: Process Polymorphism in Choreographies
Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi
We present PolyChor, a language for higher-order functional \emph{choreographic programming} -- an emerging paradigm by which programmers write the desired cooperative behaviour…
Functional Choreographic Programming
Luís Cruz-Filipe, Eva Graversen, Lovro Lugović +2
Choreographic programming is an emerging programming paradigm for concurrent and distributed systems, whereby developers write the communications that should be enacted and then a…
Event structures for the reversible early internal Pi-calculus
Eva Graversen, Iain Phillips, Nobuko Yoshida
The pi-calculus is a widely used process calculus, which models communications between processes and allows the passing of communication links. Various operational semantics of the…
Towards a Categorical Representation of Reversible Event Structures
Eva Graversen, Iain Phillips, Nobuko Yoshida
We study categories for reversible computing, focussing on reversible forms of event structures. Event structures are a well-established model of true concurrency. There exist a nu…