Browsing IMDEA Networks by author "Albouy, Timothé"

Now showing items 1-2 of 2

AMECOS: A Modular Event-based Framework for Concurrent Object Specification

Albouy, Timothé; Fernández Anta, Antonio; Georgiou, Chryssis; Gestin, Mathieu; Nicolaou, Nicolas; Wang, Junlang (2024-11-04)
conference object
Tight Conditions for Binary-Output Tasks Under Crashes

Albouy, Timothé; Fernández Anta, Antonio; Georgiou, Chryssis; Nicolaou, Nicolas; Wang, Junlang (2025-12)
conference object