Luca Aceto

No bio available. Add one in Open Library.

Books by Luca Aceto (50 max)

+ shelf+ list

Reactive systems: modelling, specification and verification

2003

Luca Aceto

+ shelf+ list

Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

2008

Luca Aceto

+ shelf+ list

Action refinement in process algebras

1992

Luca Aceto

+ shelf+ list

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

2006

Luca Aceto, Anna Ingólfsdóttir

+ shelf+ list

Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science)

2007

Luca Aceto

+ shelf+ list

Reactive Systems

2007

Luca Aceto

+ shelf+ list

Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I

2011

Luca Aceto

+ shelf+ list

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2017

Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare