👤

Luca Aceto

3 books

Books by Luca Aceto

Models, Algorithms, Logics and Tools
Models, Algorithms, Logics and Tools
2017
Action Refinement in Process A
Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science)
2007
Action refinement in process algebras
Action refinement in process algebras
1992