Luca Aceto

• Action refinement in process algebras
• Automata, Languages and Programming
• Automata, Languages and Programming
• Models, Algorithms, Logics and Tools
• Reactive Systems
• Reactive systems
• Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science)
• Foundations of Software Science and Computational Structures
• Reactive Systems