Browsing IMDEA Networks by author "Albouy, Timothé"

Now showing items 1-1 of 1

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