Roberto Gorrieri
Identifiers
- Open LibraryOL7856846A
Top Subjects
- Electronic data processing, distributed processing (2)
- Computer security (1)
- Computer networks, security measures (1)
- Object-oriented programming (computer science) (1)
- Parallel processing (electronic computers) (1)
- Petri nets (1)
Books by Roberto Gorrieri
Total count: 6
-
Foundations of Security Analysis and DesignTutorial LecturesSpringer London, Limited2003-01-01
-
Foundations of Security Analysis and Design IIFOSAD 2001/2002 Tutorial LecturesSpringer London, Limited2004-01-01
-
Foundations of Security Analysis and Design IIIFOSAD 2004/2005 Tutorial LecturesSpringer London, Limited2005-01-01
-
Formal Methods for Open Object-Based Distributed Systems8th IFIP WG 6. 1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, ProceedingsSpringer London, Limited2006-01-01
-
Introduction to Concurrency TheoryTransition Systems and CCSSpringer London, Limited2015-01-01
-
Process Algebras for Petri NetsThe Alphabetization of Distributed SystemsSpringer International Publishing AG2017-01-01