L
Luca Aceto
6 works on record
Works

Reactive systems

Automata, Languages and Programming

Models, Algorithms, Logics and Tools

Action refinement in process algebras
Foundations of Software Science and Computational Structures
Foundations of Software Science and Computational Structures
Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science)
Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science)