3 papers
cs.LO2026
Reversible computations are computations
Clément Aubert, Jean Krivine
Causality serves as an abstract notion of time for concurrent systems. A computation is causal, or simply valid, if each observation of a computation event is preceded by the obser…
cs.DC2025
Proceedings 18th Interaction and Concurrency Experience
Clément Aubert, Cinzia Di Giusto, Simon Fowler +1
This volume contains the proceedings of ICE'25, the 18th Interaction and Concurrency Experience, which was held on Friday 20th June 2025 at the Ãcole National Supérieure des Arts…
cs.DC2024
Proceedings 17th Interaction and Concurrency Experience
Clément Aubert, Cinzia Di Giusto, Simon Fowler +1
This volume contains the proceedings of ICE'24, the 17th Interaction and Concurrency Experience, which was held on Friday 21th June 2024 at the University of Groningen in Groningen…