N. Busi; R. Gorrieri, Structural non-interference in elementary and trace nets, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19(6), pp. 1065 - 1090 [articolo]
R.Gorrieri; F. Martinelli; I. Matteucci, Towards Information Flow Properties for Distributed Systems, in: , 2009, 236, pp. 65 - 84 (atti di: 3rd International Workshop on Views On Designing Complex Architectures (VODCA 2008), Bertinoro, Italy, 30-31 August 2008) [Contributo in Atti di convegno]
R. Gorrieri; F. Martinelli; M. Petrocchi, Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks, «JOURNAL OF AUTOMATED REASONING», 2008, 41(3-4), pp. 325 - 364 [articolo]
C. Versari; R.Gorrieri, pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi, in: Formal Methods for Computational Systems Biology, HEIDELBERG, Springer-Verlag, 2008, pp. 449 - 506 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]
R. Gorrieri, Ugo Montanari and Concurrency Theory, in: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, HEIDELBERG, Springer-Verlag, 2008, pp. 403 - 408 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]
A. Aldini; R.Gorrieri, Foundations of Security Analysis and Design IV, HEIDELBERG, Springer-Verlag, 2007, pp. 330 (Lecture Notes in Computer Science). [curatela]
C. Versari; N. Busi; R. Gorrieri, On the Expressive Power of Global and Local Priority in Process Calculi, in: Concurrency Theory., HEIDELBERG, Springer-Verlag, 2007, 4703, pp. 241 - 255 (atti di: CONCUR 2007:18th International Conference on Concurrency Theory, Lisbona, 3-8 Settembre 2007) [Contributo in Atti di convegno]
Roberto Gorrieri; Fabio Martinelli; Marinella Petrocchi, A Formalization of Credit and Responsibility Within the GNDC Schema, in: , 2006, 157(3), pp. 61 - 78 (atti di: First International Workshop on Security and Trust
Management (STM'05), Milano, Settembre 2005) [Contributo in Atti di convegno]
N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro, Choreography and Orchestration Conformance for System Design, in: Coordination Models and Languages, HEIDELBERG, Springer-Verlag, 2006, 4038, pp. 63 - 81 (atti di: 8th International Conference on Coordination Models and Languages COORDINATION 2006, Bologna, Italy, June 14-16, 2006) [Contributo in Atti di convegno]
R. Gorrieri; H. Wehrheim, Formal Methods for Open Object-Based Distributed Systems, HEIDELBERG, Springer-Verlag, 2006, pp. 266 (Lecture Notes in Computer Science). [curatela]
N. Busi; R. Gorrieri, On the Computational Power of Brane Calculi, in: Transactions on Computational Systems Biology VI, Heidelberg, Springer, 2006, pp. 16 - 43 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]
C. Guidi; R. Lucchi; R. Gorrieri; N. Busi; G. Zavattaro, SOCK : A Calculus for Service Oriented Computing, in: Service Oriented Computing. Proceedings, BERLIN, Springer, 2006, 4294, pp. 327 - 338 (atti di: International Conference on Service Oriented Computing (ICSOC'06), Chicago, IL, USA, December 4-7, 2006) [Contributo in Atti di convegno]
R.Gorrieri; R.Lucchi; G.Zavattaro, Supporting Secure Coordination in SecSpaces, «FUNDAMENTA INFORMATICAE», 2006, 73(4), pp. 479 - 506 [articolo]
N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro, Choreography and Orchestration: A Synergic Approach for System Design, in: Lecture Notes in Computer Science, HEIDELBERG, Springer, 2005, 3826, pp. 228 - 240 (atti di: Third International Conference on Service-Oriented Computing - ICSOC'05, Amsterdam,, December 12-15, 2005) [Contributo in Atti di convegno]
A. Aldini; R. Gorrieri; F. Martinelli, Foundations of Security Analysis and Design III, HEIDELBERG, Springer-Verlag, 2005, pp. 273 (Lecture Notes in Computer Science 3655). [curatela]
