Gorrieri, Roberto, Process Algebras for Petri Nets - The Alphabetization of Distributed Systems, Cham, Springer, 2017, pp. 302 . [libro]
Gorrieri, Roberto, Language representability of finite place/transition Petri nets, «VIETNAM JOURNAL OF COMPUTER SCIENCE», 2016, 3(1), pp. 15 - 34 [articolo]
Gorrieri, Roberto; Versari, Cristian, Introduction to Concurrency Theory - Transition Systems and CCS, Springer International Publishing, Ronan Nugent, 2015, pp. 321 . [libro]
Gorrieri, Roberto, Language representability of finite P/T nets, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Heidelberg, Springer Verlag, 2015, pp. 262 - 282 [capitolo di libro]
R. Gorrieri; C. Versari, An Operational Petri Net Semantics for A2CCS, «FUNDAMENTA INFORMATICAE», 2011, 109(2), pp. 135 - 160 [articolo]
A. Aldini; R. Gorrieri, Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures, HEIDELBERG, Springer-Verlag, 2011, pp. 285 (LECTURE NOTES IN COMPUTER SCIENCE). [curatela]
R. Gorrieri; M. Vernali, On Intransitive Non-interference in Some Models of Concurrency, in: Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures, HEIDELBERG, Springer-Verlag, 2011, pp. 125 - 151 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]
R. Gorrieri; C. Versari, A Process Calculus for Expressing Finite Place/Transition Petri Nets, in: Proceedings of 17th International Workshop on Expressiveness in Concurrency, SINE LOCO, Electronic Proceedings in Theoretical Computer Sci, 2010, pp. 76 - 90 [capitolo di libro]
E. Best; Ph. Darondeau; R. Gorrieri, On the Decidability of Non Interference over Unbounded Petri Nets, in: Proceedings of 8th International Workshop on Security Issues in Concurrency, SINE LOCO, Electronic Proceedings in Theoretical Computer Sci, 2010, pp. 16 - 33 [capitolo di libro]
C. Versari; N. Busi; R. Gorrieri, An expressiveness study of priority in process calculi, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19(6), pp. 1161 - 1189 [articolo]
P. Degano; R. Gorrieri, Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, HEIDELBERG, Springer-Verlag, 2009, pp. 327 (Lecture Notes in Computer Science, volume 5688). [curatela]
N. Busi; R. Gorrieri, Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs, «JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING», 2009, 78(3), pp. 138 - 162 [articolo]
A. Aldini; G. Barthe; R. Gorrieri, Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures, HEIDELBERG, Springer-Verlag, 2009, pp. 338 (Lecture Notes in Computer Science). [curatela]
R. Meyer; R. Gorrieri, On the Relationship between π-Calculus and Finite Place/Transition Petri Nets, in: Lecture Notes in Computer Science, HEIDELBERG, Springer-Verlag, 2009, 5710, pp. 463 - 480 (atti di: CONCUR 2009 - Concurrency Theory, 20th International Conference, Bologna, 1-4- Settembre 2009) [Contributo in Atti di convegno]
S. Frau; R. Gorrieri; C. Ferigato, Petri Net Security Checker: Structural Non-interference at Work, in: Lecture Notes in Computer Science, HEIDELBERG, Springer-Verlag, 2009, 5491, pp. 210 - 225 (atti di: Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, Ottobre 2008) [Contributo in Atti di convegno]
