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

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

16 May 2024

Timothé Albouy

Antonio Fernández

Chryssis Georgiou

ArXiv (abs)PDF HTML

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

Title
No papers