AMECOS: A Modular Event-Based Framework for Concurrent Object Specification.

Timoth Albouy, Antonio Fernndez Anta, Chryssis Georgiou, Mathieu Gestin, Nicolas Nicolaou, Junlang Wang

Browse the full OPODIS paper archive.