Laurent Prosperi

According to our database, Laurent Prosperi authored at least 5 papers between 2019 and 2023.

Collaborative distances:

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

2023

Varda: a language for programming distributed systems by composition. (Varda: un langage pour la programmation de systèmes distribués par composition).

Laurent Prosperi

PhD thesis, 2023

Transactional-Turn Causal Consistency.

Benoît Martin, Laurent Prosperi, Marc Shapiro

Proceedings of the Euro-Par 2023: Parallel Processing - 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28, 2023

2022

Varda: A Framework for Compositional Distributed Programming.

Laurent Prosperi, Ahmed Bouajjani, Marc Shapiro

Proceedings of the Networked Systems - 10th International Conference, 2022

2019

Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems.

Roman Kuznets, Laurent Prosperi, Ulrich Schmid, Krisztina Fruzsa

Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

Epistemic Reasoning with Byzantine-Faulty Agents.

Roman Kuznets, Laurent Prosperi, Ulrich Schmid, Krisztina Fruzsa

Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019