Luca Aceto
Books
- Models, Algorithms, Logics and Tools
- Foundations of Software Science and Computational Structures
- Action refinement in process algebras
- Automata, Languages and Programming
- Reactive systems
- Automata, Languages and Programming
- Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science)
- Reactive Systems
Author data: Open Library