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

Timothé Albouy, Antonio Fernández Anta, Chryssis Georgiou +3

In this work, we introduce a modular framework for specifying distributed systems that we call AMECOS. Specifically, our framework departs from the traditional use of sequential sp…