Luca Aceto profile picture

Luca Aceto

Is this your author profile? Create an account to customize it!

Stand Alone

Reactive systems
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science
Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science, Series Number 3)
Reactive Systems Modelling, Specification and Verification
Automata, Languages and Programming
Automata, Languages and Programming
Action Refinement in Process Algebras
Foundations of Software Science and Computational Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings