Roberto Gorrieri

Roberto Gorrieri, Cristian Versari: An Operational Petri Net Semantics for A²CCS. Fundam. Inform. 109(2): 135-160 (2011)

Roberto Gorrieri, Matteo Vernali: On Intransitive Non-interference in Some Models of Concurrency. FOSAD 2011: 125-151

Alessandro Aldini, Roberto Gorrieri (Eds.): Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures. Lecture Notes in Computer Science 6858, Springer 2011, isbn 978-3-642-23081-3

Eike Best, Philippe Darondeau, Roberto Gorrieri: On the Decidability of Non Interference over Unbounded Petri Nets. SecCo 2010: 16-33

Roberto Gorrieri, Cristian Versari: A Process Calculus for Expressing Finite Place/Transition Petri Nets. EXPRESS'10 2010: 76-90

Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci: Towards Information Flow Properties for Distributed Systems. Electr. Notes Theor. Comput. Sci. 236: 65-84 (2009)

Nadia Busi, Roberto Gorrieri: Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs. J. Log. Algebr. Program. 78(3): 138-162 (2009)

Nadia Busi, Roberto Gorrieri: Structural non-interference in elementary and trace nets. Mathematical Structures in Computer Science 19(6): 1065-1090 (2009)

Cristian Versari, Nadia Busi, Roberto Gorrieri: An expressiveness study of priority in process calculi. Mathematical Structures in Computer Science 19(6): 1161-1189 (2009)

Roland Meyer, Roberto Gorrieri: On the Relationship between π-Calculus and Finite Place/Transition Petri Nets. CONCUR 2009: 463-480

Roberto Gorrieri: On Petri Net semantics for Process Calculi. ICTCS 2009: 3

Pierpaolo Degano, Roberto Gorrieri (Eds.): Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings. Lecture Notes in Computer Science 5688, Springer 2009, isbn 978-3-642-03844-0

Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (Eds.): Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures. Lecture Notes in Computer Science 5705, Springer 2009, isbn 978-3-642-03828-0

Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi: Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks. J. Autom. Reasoning 41(3-4): 325-364 (2008)

Roberto Gorrieri: Ugo Montanari and Concurrency Theory. Concurrency, Graphs and Models 2008: 403-408

Simone Frau, Roberto Gorrieri, Carlo Ferigato: Petri Net Security Checker: Structural Non-interference at Work. Formal Aspects in Security and Trust 2008: 210-225

Cristian Versari, Roberto Gorrieri: pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. SFM 2008: 449-506

Roberto Gorrieri: Obituary, Nadia Busi (1968-2007). Bulletin of the EATCS 93: 18-19 (2007)

Cristian Versari, Nadia Busi, Roberto Gorrieri: On the Expressive Power of Global and Local Priority in Process Calculi. CONCUR 2007: 241-255

Alessandro Aldini, Roberto Gorrieri (Eds.): Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures. Lecture Notes in Computer Science 4677, Springer 2007, isbn 978-3-540-74809-0

Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi: A Formalization of Credit and Responsibility Within the GNDC Schema. Electr. Notes Theor. Comput. Sci. 157(3): 61-78 (2006)

Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Supporting Secure Coordination in SecSpaces. Fundam. Inform. 73(4): 479-506 (2006)

Nadia Busi, Roberto Gorrieri: On the Computational Power of Brane Calculi. : 16-43 (2006)

Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Choreography and Orchestration Conformance for System Design. COORDINATION 2006: 63-81

Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro: : A Calculus for Service Oriented Computing. ICSOC 2006: 327-338

Roberto Gorrieri, Heike Wehrheim (Eds.): Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings. Lecture Notes in Computer Science 4037, Springer 2006, isbn 3-540-34893-X

Nadia Busi, Roberto Gorrieri, Fabio Martinelli: Preface. Electr. Notes Theor. Comput. Sci. 121: 1-2 (2005)

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. Electr. Notes Theor. Comput. Sci. 128(5): 39-53 (2005)

Roberto Gorrieri, Fabio Martinelli: Theoretical foundations of security analysis and design II. Theor. Comput. Sci. 340(1): 1-2 (2005)

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Quantitative information in the tuple space coordination model. Theor. Comput. Sci. 346(1): 28-57 (2005)

Roberto Gorrieri, Claudio Guidi, Roberto Lucchi: Reasoning About Interaction Patterns in Choreography. EPEW/WS-FM 2005: 333-348

Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Choreography and Orchestration: A Synergic Approach for System Design. ICSOC 2005: 228-240

Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Towards a formal framework for Choreography. WETICE 2005: 107-112

Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (Eds.): Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures. Lecture Notes in Computer Science 3655, Springer 2005, isbn 3-540-28955-0

Mario Bravetti, Roberto Gorrieri: Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time. Electr. Notes Theor. Comput. Sci. 99: 1-2 (2004)

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Combining Partitions in SecSpaces. Electr. Notes Theor. Comput. Sci. 99: 31-47 (2004)

Angelo Troina, Alessandro Aldini, Roberto Gorrieri: Approximating Imperfect Cryptography in a Formal Model. Electr. Notes Theor. Comput. Sci. 99: 183-203 (2004)

Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci: Automated analysis of timed security: a case study on web privacy. Int. J. Inf. Sec. 2(3-4): 168-186 (2004)

Alessandro Aldini, Mario Bravetti, Roberto Gorrieri: A process-algebraic approach for the analysis of probabilistic noninterference. Journal of Computer Security 12(2): 191-245 (2004)

Roberto Gorrieri, Fabio Martinelli: A simple framework for real-time cryptographic protocol analysis with compositional proof rules. Sci. Comput. Program. 50(1-3): 23-49 (2004)

Nadia Busi, Roberto Gorrieri: Positive Non-interference in Elementary and Trace Nets. ICATPN 2004: 1-16

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. COORDINATION 2004: 55-70

Angelo Troina, Alessandro Aldini, Roberto Gorrieri: Towards a Formal Treatment of Secrecy Against Computational Adversaries. Global Computing 2004: 77-92

Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Security Issues in the Tuple-Space Coordination Model. Formal Aspects in Security and Trust 2004: 1-12

Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri: Web Services for E-commerce: guaranteeing security access and quality of service. SAC 2004: 800-806

Vincenzo Ciaschini, Roberto Gorrieri: Contrasting Malicious Java Applets by Modifying the Java Virtual Machine. SEC 2004: 47-64

Riccardo Focardi, Roberto Gorrieri (Eds.): Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures. Lecture Notes in Computer Science 2946, Springer 2004, isbn 3-540-20955-7

Alessandro Aldini, Marco Roccetti, Roberto Gorrieri: On Securing Real-Time Speech Transmission over the Internet: An Experimental Study. EURASIP J. Adv. Sig. Proc. 2003(10): 1027-1042 (2003)

Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents. Electr. Notes Theor. Comput. Sci. 68(3): 310-327 (2003)

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi: A formal approach for checking security properties in SecSpaces. Electr. Notes Theor. Comput. Sci. 85(3): 54-70 (2003)

Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Real-time information flow analysis. IEEE Journal on Selected Areas in Communications 21(1): 20-35 (2003)

Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: A comparison of three authentication properties. Theor. Comput. Sci. 291(3): 285-327 (2003)

Nadia Busi, Roberto Gorrieri: A Survey on Non-interference with Petri Nets. Lectures on Concurrency and Petri Nets 2003: 328-344

Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Compositional Verification of Integrity for Digital Stream Signature Protocols. ACSD 2003: 142-149

Roberto Gorrieri, Enrico Locatelli, Fabio Martinelli: A Simple Language for Real-Time Cryptographic Protocol Analysis. ESOP 2003: 114-128

Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. FMOODS 2003: 139-154

Alessandro Aldini, Roberto Gorrieri: A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism. Global Computing 2003: 203-228

Roberto Gorrieri, Fabio Martinelli: Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols. MFCS 2003: 46-67

Roberto Gorrieri, Ulrich Herzog, Jane Hillston: Unified specification and performance evaluation using stochastic process algebras. Perform. Eval. 50(2/3): 79-82 (2002)

Mario Bravetti, Roberto Gorrieri: The theory of interactive generalized semi-Markov processes. Theor. Comput. Sci. 282(1): 5-32 (2002)

Roberto Gorrieri: Editorial. Theor. Comput. Sci. 283(2): 269-270 (2002)

Mario Bravetti, Roberto Gorrieri: Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. ACM Trans. Comput. Log. 3(4): 465-520 (2002)

Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky: Two Formal Approaches for Approximating Noninterference Properties. FOSAD 2002: 1-43

Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Classification of Security Properties - Part II: Network Security. FOSAD 2002: 139-185

Alessandro Aldini, Roberto Gorrieri: Security Analysis of a Probabilistic Non-repudiation Protocol. PAPM-PROBMIV 2002: 17-36

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Techniques for Security Checking: Non-Interference vs Control Flow Analysis. Electr. Notes Theor. Comput. Sci. 62: 211-228 (2001)

Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci: Formal Models of Timing Attacks on Web Privacy. Electr. Notes Theor. Comput. Sci. 62: 229-243 (2001)

Arend Rensink, Roberto Gorrieri: Vertical Implementation. Inf. Comput. 170(1): 95-133 (2001)

Marco Bernardo, Roberto Gorrieri: Corrigendum to ``A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time'' - [TCS 202 (1998) 1-54]. Theor. Comput. Sci. 254(1-2): 691-694 (2001)

Alessandro Aldini, Marco Bernardo, Roberto Gorrieri, Marco Roccetti: Comparing the QoS of Internet audio mechanisms via formal methods. ACM Trans. Model. Comput. Simul. 11(1): 1-42 (2001)

Nadia Busi, Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro: Coordination Models: A Guided Tour. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 6-24

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Temporary Data in Shared Dataspace Coordination Languages. FoSSaCS 2001: 121-136

Antonio Durante, Riccardo Focardi, Roberto Gorrieri: CVS at Work: A Report on New Failures upon Some Cryptographic Protocols. MMM-ACNS 2001: 287-299

Riccardo Focardi, Roberto Gorrieri (Eds.): Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000]. Lecture Notes in Computer Science 2171, Springer 2001, isbn 3-540-42896-8

Maria Felicia Florio, Roberto Gorrieri, Gianluigi Marchetti: Coping with denial of service due to malicious Java applets. Computer Communications 23(17): 1645-1654 (2000)

Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Secrecy in Security Protocols as Non Interference. Electr. Notes Theor. Comput. Sci. 32: 101-112 (2000)

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Expressiveness of Linda Coordination Primitives. Inf. Comput. 156(1-2): 90-121 (2000)

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Comparing three semantics for Linda-like languages. Theor. Comput. Sci. 240(1): 49-90 (2000)

Antonio Durante, Riccardo Focardi, Roberto Gorrieri: A compiler for analyzing cryptographic protocols using noninterference. ACM Trans. Softw. Eng. Methodol. 9(4): 488-528 (2000)

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Process Calculi for Coordination: From Linda to JavaSpaces. AMAST 2000: 198-212

Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Message Authentication through Non Interference. AMAST 2000: 258-272

Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Information Flow Analysis in a Discrete-Time Process Algebra. CSFW 2000: 170-184

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Semantics of JavaSpaces. FMOODS 2000: 3-

Riccardo Focardi, Roberto Gorrieri: Classification of Security Properties (Part I: Information Flow). FOSAD 2000: 331-396

Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Non Interference for the Analysis of Cryptographic Protocols. ICALP 2000: 354-372

Roberto Gorrieri: Introduction: International Workshop on Process Algebra and Performance Modelling. ICALP Satellite Workshops 2000: 485-486

Mario Bravetti, Roberto Gorrieri: A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors. ICALP 2000: 744-755

Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela, Peter Wegner: Computing Surveys' Electronic Symposium on the Theory of Computation. ACM Comput. Surv. 31(3): 223-226 (1999)

Mario Bravetti, Roberto Gorrieri: Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement. Electr. Notes Theor. Comput. Sci. 27: 107-126 (1999)

Antonio Durante, Riccardo Focardi, Roberto Gorrieri: CVS: A Compiler for the Analysis of Cryptographic Protocols. CSFW 1999: 203-212

Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri (Eds.): Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy. IFIP Conference Proceedings 139, Kluwer 1999, isbn 0-7923-8429-6

Marco Bernardo, Roberto Gorrieri, Marco Roccetti: Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet. Formal Asp. Comput. 10(4): 313-337 (1998)

Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri: A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems. Inf. Comput. 144(2): 83-154 (1998)

Roberto Gorrieri, Chris Hankin: Foreword: Theoretical Aspects of Coordination Languages. Theor. Comput. Sci. 192(2): 163-165 (1998)

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: A Process Algebraic View of Linda Coordination Primitives. Theor. Comput. Sci. 192(2): 167-199 (1998)

Marco Bernardo, Roberto Gorrieri: A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time. Theor. Comput. Sci. 202(1-2): 1-54 (1998)

Mario Bravetti, Marco Bernardo, Roberto Gorrieri: Towards Performance Evaluation with General Distributions in Process Algebras. CONCUR 1998: 405-422

Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows: Panel Introduction: Varieties of Authentication. CSFW 1998: 79-82

Flavio Corradini, Roberto Gorrieri, Marco Roccetti: Performance Preorder and Competitive Equivalence. Acta Inf. 34(11): 805-835 (1997)

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Turing equivalence of Linda coordination primitives. Electr. Notes Theor. Comput. Sci. 7: 75 (1997)

Riccardo Focardi, Roberto Gorrieri: The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties. IEEE Trans. Software Eng. 23(9): 550-571 (1997)

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Three Semantics of the Output Operation for Generative Communication. COORDINATION 1997: 205-219

Arend Rensink, Roberto Gorrieri: Action refinement for Vertical Implementation. FBT 1997: 69-78

Arend Rensink, Roberto Gorrieri: Action Refinement as an Implementation Relations. TAPSOFT 1997: 772-786

Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (Eds.): Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings. Lecture Notes in Computer Science 1256, Springer 1997, isbn 3-540-63165-8

Roberto Gorrieri: On the Power of Concurrency Theory. ACM Comput. Surv. 28(4es): 42 (1996)

Ursula Goltz, Roberto Gorrieri, Arend Rensink: Comparing Syntactic and Semantic Sction Refinement. Inf. Comput. 125(2): 118-143 (1996)

Xiao Jun Chen, Flavio Corradini, Roberto Gorrieri: A Study on the Specification and Verification of Performance Properties (Extended Abstract). AMAST 1996: 306-320

Marco Bernardo, Roberto Gorrieri: Extended Markovian Process Algebra. CONCUR 1996: 315-330

Riccardo Focardi, Roberto Gorrieri: Automatic Compositional Verification of Some Security Properties. TACAS 1996: 167-186

Marco Bernardo, Nadia Busi, Roberto Gorrieri: A Distributed Semantics for EMPA Based on Stochastic Contextual Nets. Comput. J. 38(7): 492-509 (1995)

Roberto Gorrieri, Cosimo Laneve: Split and ST Bisimulation Semantics. Inf. Comput. 118(2): 272-288 (1995)

Pierpaolo Degano, Roberto Gorrieri: A Causal Operational Semantics of Action Refinement. Inf. Comput. 122(1): 97-119 (1995)

Riccardo Focardi, Roberto Gorrieri: A Taxonomy of Security Properties for Process Algebras. Journal of Computer Security 3(1): 5-34 (1995)

Roberto Gorrieri, Marco Roccetti, Enrico Stancampiano: A Theory of Processes with Durational Actions. Theor. Comput. Sci. 140(1): 73-94 (1995)

Roberto Gorrieri, Ugo Montanari: On the Implementation of Concurrent Calculi in Net Calculi: Two Case Studies. Theor. Comput. Sci. 141(1&2): 195-252 (1995)

Nadia Busi, Roberto Gorrieri: A Petri Net Semantics for pi-Calculus. CONCUR 1995: 145-159

Riccardo Focardi, Roberto Gorrieri, V. Panini: The security checker: a semantics-based tool for the verification of security properties. CSFW 1995: 60-69

Flavio Corradini, Roberto Gorrieri, Marco Roccetti: Performance Preorder: Ordering Processes with Respect to Speed. MFCS 1995: 444-453

Roberto Gorrieri, Glauco Siliprandi: Real-Time System Verification using P/T Nets. CAV 1994: 14-26

Riccardo Focardi, Roberto Gorrieri: A Taxonomy of Security Properties for CCS. CSFW 1994: 126-136

Nadia Busi, Roberto Gorrieri: Distributed Conflicts in Communicating Systems. ECOOP Workshop 1994: 49-65

Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri: Integrated analysis of concurrent distributed systems using Markovian process algebra. FORTE 1994: 455-457

Nadia Busi, Rob J. van Glabbeek, Roberto Gorrieri: Axiomatising ST-Bisimulation Equivalence. PROCOMET 1994: 169-188

Ursula Goltz, Roberto Gorrieri, Arend Rensink: On Syntactic and Semantic Action Refinement. TACS 1994: 385-404

Antonio Brogi, Roberto Gorrieri: Distributed Logic Programming. J. Log. Program. 15(4): 295-335 (1993)

Roberto Gorrieri, Marco Roccetti: Towards Performance Evaluation in Process Algebras. AMAST 1993: 289-296

Pierpaolo Degano, Roberto Gorrieri, Sebastiano Vigna: On Relating Some Models for Concurrency. TAPSOFT 1993: 15-30

Roberto Gorrieri: A hierarchy of system descriptions via atomic linear refinement. Fundam. Inform. 16(3-4): 289-336 (1992)

Pierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini: A Categorial View of Process Refinement. REX Workshop 1992: 138-153

Roberto Gorrieri, Ugo Montanari: Distributed Implementation of CCS. Applications and Theory of Petri Nets 1991: 244-266

Pierpaolo Degano, Roberto Gorrieri: Atomic Refinement in Process Description Languages. MFCS 1991: 121-130

Roberto Gorrieri, Cosimo Laneve: The Limit of Split_n-Bisimulations for CCS Agents. MFCS 1991: 170-180

Gian Luigi Ferrari, Roberto Gorrieri, Ugo Montanari: An Extended Expansion Theorem. TAPSOFT, Vol.2 1991: 29-48

Roberto Gorrieri, Ugo Montanari: Towards Hierarchical Description of Systems: A Proof System for Strong Prefixing. Int. J. Found. Comput. Sci. 1(3): 277-294 (1990)

Roberto Gorrieri, Sergio Marchetti, Ugo Montanari: A2CCKS: Atomic Actions for CCS. Theor. Comput. Sci. 72(2&3): 203-223 (1990)

Roberto Gorrieri, Ugo Montanari: SCONE: A Simple Calculus of Nets. CONCUR 1990: 2-30

Andrea Asperti, Gian Luigi Ferrari, Roberto Gorrieri: Implicative Formulae in the ``Proofs as Computations'' Analogy. POPL 1990: 59-71

Antonio Brogi, Roberto Gorrieri: Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language. ICLP 1989: 637-652

Antonio Brogi, Roberto Gorrieri: A Distributed, Net Oriented Semantics for Delta Prolog. TAPSOFT, Vol.1 1989: 162-177

Roberto Gorrieri, Sergio Marchetti, Ugo Montanari: A²CCS: A Simple Extension of CCS for Handling Atomic Actions. CAAP 1988: 258-270

Pierpaolo Degano, Roberto Gorrieri, Sergio Marchetti: An Exercise in Concurrency: a CSP Process as a Condition/ event System. European Workshop on Applications and Theory of Petri Nets 1987: 85-105