2 papers
cs.DC2024
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…
cs.CY2016
Superintelligence cannot be contained: Lessons from Computability Theory
Manuel Alfonseca, Manuel Cebrian, Antonio Fernandez Anta +3
Superintelligence is a hypothetical agent that possesses intelligence far surpassing that of the brightest and most gifted human minds. In light of recent advances in machine intel…