Join the Goodreads Author Program

Are you Luca de Alfaro, author of the books below?
Process Algebra and Probabilistic Methods. Performance Modell... by Luca de Alfaro Foundations of Software Science and Computational Structures by Luca de Alfaro Foundations of Software Science and Computational Structures by Roberto Amadio Quantitative Solution of Omega-Regular Games by Luca de Alfaro Continuous Verification by Discrete Reasoning by Luca de Alfaro Foundations of Software Science and Computational Structures by Luca de Alfaro CONCUR 2005 - Concurrency Theory by Martín Abadi CONCUR 2005 - Concurrency Theory by Martín Abadi


To join the author program as Luca de Alfaro, you will first need to sign in to Goodreads. Then navigate back to this page to apply.