Home / Authors / Luca Aceto

Books by Luca Aceto

All books by this author

2 books found
Reactive Systems: Modelling, Specification and Verification
Reactive Systems: Modelling, Specification and Verification
By: Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba
View Details
Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science)
Action Refinement in Process Algebras (Distinguished Disser…
By: Luca Aceto
View Details