Luca Aceto

Identifiers

Open LibraryOL693501A

Top Subjects

Parallel processing (Electronic computers) (2)
Computer software (2)
Computers - Languages / Programming (2)
Computers / Programming / Software Development (2)
Programming - Software Development (2)
Programming languages (Electronic computers) -- Semantics (1)
Computer science, mathematics (1)

Books by Luca Aceto

Total count: 8

Action refinement in process algebras

Cambridge University Press1992-01-01
Reactive SystemsModelling, Specification and Verification

Cambridge University Press2003-01-01
Foundations of Software Science and Computational Structures9th 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

Springer London, Limited2006-01-01
Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science)New Ed edition

Cambridge University Press2007-03-31
Reactive SystemsModelling, Specification and Verification

Cambridge University Press2007-08-13
Automata, Languages and Programming35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

Springer London, Limited2008-01-01
Automata, Languages and Programming38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I

Springer-Verlag GmbH Berlin Heidelberg2011-01-01
Models, Algorithms, Logics and ToolsEssays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Springer2017-07-25