A Study on Team Bisimulations for BPP Nets

Por Gorrieri, Roberto
Publicado no Application and Theory of Petri Nets and Concurrency (2020)

Interleaving vs True Concurrency: Some Instructive Security Examples

Por Gorrieri, Roberto
Publicado no Application and Theory of Petri Nets and Concurrency (2020)

Foundations of security analysis and design III FOSAD 2004/2005 tutorial lectures /

Por Aldini, Alessandro, Gorrieri, Roberto, Martinelli, Fabio
Publicado em 2005

Computational methods in systems biology 7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 : proceedings /

Por CMSB 2009, Degano, Pierpaolo, Gorrieri, Roberto.
Publicado em 2009

Foundations of security analysis and design V FOSAD 2008/2009 tutorial lectures /

Por Aldini, Alessandro., Barthe, Gilles., Gorrieri, Roberto.
Publicado em 2009

Foundations of security analysis and design IV FOSAD 2006/2007 tutorial lectures /

Por International School on Foundations of Security Analysis and Design, Aldini, Alessandro., Gorrieri, Roberto.
Publicado em 2007

Foundations of security analysis and design VI FOSAD tutorial lectures /

Por International School on Foundations of Security Analysis and Design, Aldini, Alessandro., Gorrieri, Roberto.
Publicado em 2011

Formal methods for open object-based distributed systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006: proceedings /

Por International Conference on Formal Methods for Open Object-Based Distributed Systems, Gorrieri, Roberto., Wehrheim, Heike.
Publicado em 2006