Browse
FAQ

Author

Roberto Gorrieri

5 books found

Cover of Process Algebras for Petri Nets

Process Algebras for Petri Nets

Roberto Gorrieri · First published 2017

Cover of Introduction to Concurrency Theory

Introduction to Concurrency Theory

Roberto Gorrieri, Cristian Versari · First published 2015

Cover of Formal methods for open object-based distributed systems

Formal methods for open object-based distributed systems

Roberto Gorrieri, Heike Wehrheim · First published 2006

Cover of Foundations of security analysis and design II

Foundations of security analysis and design II

Roberto Gorrieri · First published 2004

Cover of Foundations of security analysis and design

Foundations of security analysis and design

Roberto Gorrieri · First published 2001