Luca Aceto

Reactive Systems

Automata, Languages and Programming

Automata, Languages and Programming

Reactive systems

Models, Algorithms, Logics and Tools

Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science)

Foundations of Software Science and Computational Structures