Luca Aceto
6 published titles
Action refinements in process algebras
1 edition
- ISBN: 0521431115
- Cambridge University Press
- 1992
- Details
Deriving complete inference systems for a class of GSOS languages generating regular behaviours
1 edition
- University of Sussex, Computer Science
- 1994
- Details
Process algebra
(Contributor)
1 edition
Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006,
(Contributor)
1 edition
- ISBN: 9783540330455
- Springer
- 2006
- Details
Reactive systems : modelling, specification and verification
(Contributor)
1 edition
- ISBN: 9780521875462
- Cambridge University Press
- 2007
- Details
Automata, languages and programming : 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings
(Contributor)
1 edition
- ISBN: 9783642220111
- Springer
- 2011
- Details
