Roberto Gorrieri

176 papers A* 5A 4B 15C 6Misc 2Journal 66Unranked 61
YearRankTypeTitle / Venue / Authors
2025 J jnl
An algebraic theory of nondeterministic finite automata.
J. Log. Algebraic Methods Program.
Roberto Gorrieri
2025 J jnl
Decidable Reversible Equivalences for Finite Petri Nets.
CoRR
Roberto Gorrieri, Ivan Lanese
2024 J jnl
Axiomatizing NFAs Generated by Regular Grammars.
CoRR
Roberto Gorrieri
2023 J jnl
Branching Place Bisimilarity.
CoRR
Roberto Gorrieri
2023 J jnl
Compositional Semantics of Finite Petri Nets.
CoRR
Roberto Gorrieri
2023 J jnl
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets.
Log. Methods Comput. Sci.
Arnaldo Cesco, Roberto Gorrieri
2023 J jnl
Distributed Non-Interference.
CoRR
Roberto Gorrieri
2023 J jnl
The Algebra of Nondeterministic Finite Automata.
CoRR
Roberto Gorrieri
2022 J jnl
A study on team bisimulation and H-team bisimulation for BPP nets.
Theor. Comput. Sci.
Roberto Gorrieri
2021 B conf
A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation.
MFCS
Arnaldo Cesco, Roberto Gorrieri
2021 J jnl
A Decidable Equivalence for a Turing-complete, Distributed Model of Computation.
CoRR
Arnaldo Cesco, Roberto Gorrieri
2021 C conf
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves.
FORTE
Roberto Gorrieri
2021 J jnl
Causal Semantics for BPP Nets with Silent Moves.
Fundam. Informaticae
Roberto Gorrieri
2021 — conf
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (11).
ICTCS
Arnaldo Cesco, Roberto Gorrieri
2021 J jnl
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets.
CoRR
Arnaldo Cesco, Roberto Gorrieri
2021 J jnl
Place Bisimilarity is Decidable, Indeed!
CoRR
Roberto Gorrieri
2021 J jnl
Team bisimilarity, and its associated modal logic, for BPP nets.
Acta Informatica
Roberto Gorrieri
2020 B conf
A Study on Team Bisimulations for BPP Nets.
Petri Nets
Roberto Gorrieri
2020 B conf
Interleaving vs True Concurrency: Some Instructive Security Examples.
Petri Nets
Roberto Gorrieri
2020 J jnl
Team equivalences for finite-state machines with silent moves.
Inf. Comput.
Roberto Gorrieri
2019 — conf
Axiomatizing Team Equivalence for Finite-State Machines.
The Art of Modelling Computational Systems
Roberto Gorrieri
2019 — ch.
Toward Distributed Computability Theory.
Carl Adam Petri: Ideas, Personality, Impact
Roberto Gorrieri
2018 J jnl
Verification of finite-state machines: A distributed approach.
J. Log. Algebraic Methods Program.
Roberto Gorrieri
2017 J jnl
CCS(25, 12) is Turing-complete.
Fundam. Informaticae
Roberto Gorrieri
2017 — book
Process Algebras for Petri Nets - The Alphabetization of Distributed Systems
Roberto Gorrieri
2016 J jnl
Language representability of finite place/transition Petri nets.
Vietnam. J. Comput. Sci.
Roberto Gorrieri
2015 — book
Introduction to Concurrency Theory - Transition Systems and CCS
Roberto Gorrieri, Cristian Versari
2015 — conf
Language Representability of Finite P/T Nets.
Programming Languages with Applications to Biology and Security
Roberto Gorrieri
2011 J jnl
An Operational Petri Net Semantics for A
Fundam. Informaticae
Roberto Gorrieri, Cristian Versari
2011 — ed.
Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures
FOSAD
Alessandro Aldini, Roberto Gorrieri
2011 — conf
On Intransitive Non-interference in Some Models of Concurrency.
FOSAD
Roberto Gorrieri, Matteo Vernali
2010 — conf
A Process Calculus for Expressing Finite Place/Transition Petri Nets
EXPRESS
Roberto Gorrieri, Cristian Versari
2010 — conf
On the Decidability of Non Interference over Unbounded Petri Nets
SecCo
Eike Best, Philippe Darondeau, Roberto Gorrieri
2009 J jnl
An expressiveness study of priority in process calculi.
Math. Struct. Comput. Sci.
Cristian Versari, Nadia Busi, Roberto Gorrieri
2009 — ed.
Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings
CMSB
Pierpaolo Degano, Roberto Gorrieri
2009 J jnl
Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs.
J. Log. Algebraic Methods Program.
Nadia Busi, Roberto Gorrieri
2009 — ed.
Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures
FOSAD
Alessandro Aldini, Gilles Barthe, Roberto Gorrieri
2009 — conf
On Petri Net semantics for Process Calculi.
ICTCS
Roberto Gorrieri
2009 B conf
On the Relationship between π-Calculus and Finite Place/Transition Petri Nets.
CONCUR
Roland Meyer, Roberto Gorrieri
2009 J jnl
Structural non-interference in elementary and trace nets.
Math. Struct. Comput. Sci.
Nadia Busi, Roberto Gorrieri
2008 J jnl
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks.
J. Autom. Reason.
Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi
2008 — conf
Petri Net Security Checker: Structural Non-interference at Work.
Formal Aspects in Security and Trust
Simone Frau, Roberto Gorrieri, Carlo Ferigato
2008 — conf
Towards Information Flow Properties for Distributed Systems.
VODCA@FOSAD
Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci
2008 — conf
Ugo Montanari and Concurrency Theory.
Concurrency, Graphs and Models
Roberto Gorrieri
2008 — conf
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi.
SFM
Cristian Versari, Roberto Gorrieri
2007 — ed.
Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures
FOSAD
Alessandro Aldini, Roberto Gorrieri
2007 J jnl
Obituary, Nadia Busi (1968-2007).
Bull. EATCS
Roberto Gorrieri
2007 B conf
On the Expressive Power of Global and Local Priority in Process Calculi.
CONCUR
Cristian Versari, Nadia Busi, Roberto Gorrieri
2006 A conf
: A Calculus for Service Oriented Computing.
ICSOC
Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro
2006 C conf
Choreography and Orchestration Conformance for System Design.
COORDINATION
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
2006 — ed.
Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
FMOODS
Roberto Gorrieri, Heike Wehrheim
2006 J jnl
On the Computational Power of Brane Calculi.
Trans. Comp. Sys. Biology
Nadia Busi, Roberto Gorrieri
2006 J jnl
Supporting Secure Coordination in SecSpaces.
Fundam. Informaticae
Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2005 — conf
A Formalization of Credit and Responsibility Within the GNDC Schema.
STM
Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi
2005 A conf
Choreography and Orchestration: A Synergic Approach for System Design.
ICSOC
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
2005 — ed.
Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures
FOSAD
Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli
2005 — ed.
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna, Italy, June 26, 2004
WISP@ICATPN
Nadia Busi, Roberto Gorrieri, Fabio Martinelli
2005 J jnl
Quantitative information in the tuple space coordination model.
Theor. Comput. Sci.
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2005 — conf
Reasoning About Interaction Patterns in Choreography.
EPEW/WS-FM
Roberto Gorrieri, Claudio Guidi, Roberto Lucchi
2005 J jnl
Theoretical foundations of security analysis and design II.
Theor. Comput. Sci.
Roberto Gorrieri, Fabio Martinelli
2005 C conf
Towards a formal framework for Choreography.
WETICE
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
2004 J jnl
A process-algebraic approach for the analysis of probabilistic noninterference.
J. Comput. Secur.
Alessandro Aldini, Mario Bravetti, Roberto Gorrieri
2004 J jnl
A simple framework for real-time cryptographic protocol analysis with compositional proof rules.
Sci. Comput. Program.
Roberto Gorrieri, Fabio Martinelli
2004 J jnl
Automated analysis of timed security: a case study on web privacy.
Int. J. Inf. Sec.
Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
2004 Misc conf
Contrasting Malicious Java Applets by Modifying the Java Virtual Machine.
SEC
Vincenzo Ciaschini, Roberto Gorrieri
2004 — ed.
Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, MEFISTO 2003, Pisa, Italy, November 3-5, 2003
MEFISTO
Mario Bravetti, Roberto Gorrieri
2004 — ed.
Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures
FOSAD
Riccardo Focardi, Roberto Gorrieri
2004 — conf
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda.
SecCo
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2004 — conf
Positive Non-interference in Elementary and Trace Nets.
ICATPN
Nadia Busi, Roberto Gorrieri
2004 — conf
Preface.
WISP@ICATPN
Nadia Busi, Roberto Gorrieri, Fabio Martinelli
2004 C conf
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model.
COORDINATION
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2004 — conf
Security Issues in the Tuple-Space Coordination Model.
Formal Aspects in Security and Trust
Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2004 — conf
Towards a Formal Treatment of Secrecy Against Computational Adversaries.
Global Computing
Angelo Troina, Alessandro Aldini, Roberto Gorrieri
2004 Misc conf
Web Services for E-commerce: guaranteeing security access and quality of service.
SAC
Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri
2003 A conf
A Simple Language for Real-Time Cryptographic Protocol Analysis.
ESOP
Roberto Gorrieri, Enrico Locatelli, Fabio Martinelli
2003 — conf
A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism.
Global Computing
Alessandro Aldini, Roberto Gorrieri
2003 — conf
A Survey on Non-interference with Petri Nets.
Lectures on Concurrency and Petri Nets
Nadia Busi, Roberto Gorrieri
2003 J jnl
A comparison of three authentication properties.
Theor. Comput. Sci.
Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
2003 — conf
A formal approach for checking security properties in SecSpaces.
SecCo
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi
2003 — conf
Approximating Imperfect Cryptography in a Formal Model.
MEFISTO
Angelo Troina, Alessandro Aldini, Roberto Gorrieri
2003 — conf
Combining Partitions in SecSpaces.
MEFISTO
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2003 — conf
Compositional Verification of Integrity for Digital Stream Signature Protocols.
ACSD
Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
2003 — conf
Formal Anaylsis of Some Timed Security Properties in Wireless Protocols.
FMOODS
Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
2003 J jnl
On Securing Real-Time Speech Transmission over the Internet: An Experimental Study.
EURASIP J. Adv. Signal Process.
Alessandro Aldini, Marco Roccetti, Roberto Gorrieri
2003 — conf
Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time.
MEFISTO
Mario Bravetti, Roberto Gorrieri
2003 B conf
Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols.
MFCS
Roberto Gorrieri, Fabio Martinelli
2003 J jnl
Real-time information flow analysis.
IEEE J. Sel. Areas Commun.
Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
2002 — conf
Classification of Security Properties - Part II: Network Security.
FOSAD
Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
2002 J jnl
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement.
ACM Trans. Comput. Log.
Mario Bravetti, Roberto Gorrieri
2002 J jnl
Editorial.
Theor. Comput. Sci.
Roberto Gorrieri
2002 — conf
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents.
FOCLASA
Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2002 — conf
Security Analysis of a Probabilistic Non-repudiation Protocol.
PAPM-PROBMIV
Alessandro Aldini, Roberto Gorrieri
2002 J jnl
The theory of interactive generalized semi-Markov processes.
Theor. Comput. Sci.
Mario Bravetti, Roberto Gorrieri
2002 — conf
Two Formal Approaches for Approximating Noninterference Properties.
FOSAD
Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
2002 J jnl
Unified specification and performance evaluation using stochastic process algebras.
Perform. Evaluation
Roberto Gorrieri, Ulrich Herzog, Jane Hillston
2001 — ch.
Action Refinement.
Handbook of Process Algebra
Roberto Gorrieri, Arend Rensink
2001 — conf
CVS at Work: A Report on New Failures upon Some Cryptographic Protocols.
MMM-ACNS
Antonio Durante, Riccardo Focardi, Roberto Gorrieri
2001 J jnl
Comparing the QoS of Internet audio mechanisms via formal methods.
ACM Trans. Model. Comput. Simul.
Alessandro Aldini, Marco Bernardo, Roberto Gorrieri, Marco Roccetti
2001 — ch.
Coordination Models: A Guided Tour.
Coordination of Internet Agents: Models, Technologies, and Applications
Nadia Busi, Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro
2001 J jnl
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.
Marco Bernardo, Roberto Gorrieri
2001 — conf
Formal Models of Timing Attacks on Web Privacy.
TOSCA
Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
2001 — ed.
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]
FOSAD
Riccardo Focardi, Roberto Gorrieri
2001 — conf
Techniques for Security Checking: Non-Interference vs Control Flow Analysis.
TOSCA
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
2001 B conf
Temporary Data in Shared Dataspace Coordination Languages.
FoSSaCS
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
2001 J jnl
Vertical Implementation.
Inf. Comput.
Arend Rensink, Roberto Gorrieri
2000 A* conf
A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors.
ICALP
Mario Bravetti, Roberto Gorrieri
2000 J jnl
A compiler for analyzing cryptographic protocols using noninterference.
ACM Trans. Softw. Eng. Methodol.
Antonio Durante, Riccardo Focardi, Roberto Gorrieri
2000 — conf
Classification of Security Properties (Part I: Information Flow).
FOSAD
Riccardo Focardi, Roberto Gorrieri
2000 J jnl
Comparing three semantics for Linda-like languages.
Theor. Comput. Sci.
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
2000 J jnl
Coping with denial of service due to malicious Java applets.
Comput. Commun.
Maria Felicia Florio, Roberto Gorrieri, Gianluigi Marchetti
2000 — ed.
ICALP Workshops 2000, Proceedings of the Satelite Workshops of the 27th International Colloquium on Automata, Languages and Programming, Geneva, Switzerland, July 9-15, 2000
José D. P. Rolim, Andrei Z. Broder, Andrea Corradini, Roberto Gorrieri, Reiko Heckel, Juraj Hromkovic, Ugo Vaccaro, J. B. Wells
2000 — conf
Information Flow Analysis in a Discrete-Time Process Algebra.
CSFW
Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
2000 — conf
Introduction: International Workshop on Process Algebra and Performance Modelling.
ICALP Satellite Workshops
Roberto Gorrieri
2000 — conf
Message Authentication through Non Interference.
AMAST
Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
2000 A* conf
Non Interference for the Analysis of Cryptographic Protocols.
ICALP
Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
2000 J jnl
On the Expressiveness of Linda Coordination Primitives.
Inf. Comput.
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
2000 — conf
On the Semantics of JavaSpaces.
FMOODS
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
2000 — conf
Process Calculi for Coordination: From Linda to JavaSpaces.
AMAST
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
1999 — conf
CVS: A Compiler for the Analysis of Cryptographic Protocols.
CSFW
Antonio Durante, Riccardo Focardi, Roberto Gorrieri
1999 J jnl
Computing Surveys' Electronic Symposium on the Theory of Computation.
ACM Comput. Surv.
Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela, Peter Wegner
1999 — conf
Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement.
EXPRESS
Mario Bravetti, Roberto Gorrieri
1999 — ed.
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
FMOODS
Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri
1999 — conf
Secrecy in Security Protocols as Non Interference.
Workshop on Secure Architectures and Information Flow
Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
1998 J jnl
A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems.
Inf. Comput.
Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri
1998 J jnl
A Process Algebraic View of Linda Coordination Primitives.
Theor. Comput. Sci.
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
1998 J jnl
A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time.
Theor. Comput. Sci.
Marco Bernardo, Roberto Gorrieri
1998 J jnl
Foreword: Theoretical Aspects of Coordination Languages.
Theor. Comput. Sci.
Roberto Gorrieri, Chris Hankin
1998 J jnl
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet.
Formal Aspects Comput.
Marco Bernardo, Roberto Gorrieri, Marco Roccetti
1998 — conf
Panel Introduction: Varieties of Authentication.
CSFW
Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows
1998 B conf
Towards Performance Evaluation with General Distributions in Process Algebras.
CONCUR
Mario Bravetti, Marco Bernardo, Roberto Gorrieri
1998 J jnl
Towards parallelization of concurrent systems.
RAIRO Theor. Informatics Appl.
Flavio Corradini, Roberto Gorrieri, Davide Marchignoli
1997 — conf
Action Refinement as an Implementation Relations.
TAPSOFT
Arend Rensink, Roberto Gorrieri
1997 — conf
Action refinement for Vertical Implementation.
FBT
Arend Rensink, Roberto Gorrieri
1997 A* ed.
Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings
ICALP
Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela
1997 — conf
On the Turing equivalence of Linda coordination primitives.
EXPRESS
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
1997 J jnl
Performance Preorder and Competitive Equivalence.
Acta Informatica
Flavio Corradini, Roberto Gorrieri, Marco Roccetti
1997 J jnl
The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties.
IEEE Trans. Software Eng.
Riccardo Focardi, Roberto Gorrieri
1997 C conf
Three Semantics of the Output Operation for Generative Communication.
COORDINATION
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
1996 — conf
A Study on the Specification and Verification of Performance Properties (Extended Abstract).
AMAST
Xiao Jun Chen, Flavio Corradini, Roberto Gorrieri
1996 A conf
Automatic Compositional Verification of Some Security Properties.
TACAS
Riccardo Focardi, Roberto Gorrieri
1996 J jnl
Comparing Syntactic and Semantic Sction Refinement.
Inf. Comput.
Ursula Goltz, Roberto Gorrieri, Arend Rensink
1996 B conf
Extended Markovian Process Algebra.
CONCUR
Marco Bernardo, Roberto Gorrieri
1996 J jnl
On the Power of Concurrency Theory.
ACM Comput. Surv.
Roberto Gorrieri
1995 J jnl
A Causal Operational Semantics of Action Refinement
Inf. Comput.
Pierpaolo Degano, Roberto Gorrieri
1995 J jnl
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets.
Comput. J.
Marco Bernardo, Nadia Busi, Roberto Gorrieri
1995 B conf
A Petri Net Semantics for pi-Calculus.
CONCUR
Nadia Busi, Roberto Gorrieri
1995 J jnl
A Taxonomy of Security Properties for Process Algebras.
J. Comput. Secur.
Riccardo Focardi, Roberto Gorrieri
1995 J jnl
A Theory of Processes with Durational Actions.
Theor. Comput. Sci.
Roberto Gorrieri, Marco Roccetti, Enrico Stancampiano
1995 — conf
Giving a net semantics to Markovian process algebra.
PNPM
Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri
1995 J jnl
On the Implementation of Concurrent Calculi in Net Calculi: Two Case Studies.
Theor. Comput. Sci.
Roberto Gorrieri, Ugo Montanari
1995 B conf
Performance Preorder: Ordering Processes with Respect to Speed.
MFCS
Flavio Corradini, Roberto Gorrieri, Marco Roccetti
1995 J jnl
Split and ST Bisimulation Semantics
Inf. Comput.
Roberto Gorrieri, Cosimo Laneve
1995 — conf
The security checker: a semantics-based tool for the verification of security properties.
CSFW
Riccardo Focardi, Roberto Gorrieri, V. Panini
1994 — conf
A Taxonomy of Security Properties for CCS.
CSFW
Riccardo Focardi, Roberto Gorrieri
1994 — conf
Axiomatising ST-Bisimulation Equivalence.
PROCOMET
Nadia Busi, Rob J. van Glabbeek, Roberto Gorrieri
1994 — conf
Distributed Conflicts in Communicating Systems.
ECOOP Workshop
Nadia Busi, Roberto Gorrieri
1994 C conf
Integrated analysis of concurrent distributed systems using Markovian process algebra.
FORTE
Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri
1994 — conf
On Syntactic and Semantic Action Refinement.
TACS
Ursula Goltz, Roberto Gorrieri, Arend Rensink
1994 A* conf
Real-Time System Verification using P/T Nets.
CAV
Roberto Gorrieri, Glauco Siliprandi
1993 J jnl
Distributed Logic Programming.
J. Log. Program.
Antonio Brogi, Roberto Gorrieri
1993 — conf
On Relating Some Models for Concurrency.
TAPSOFT
Pierpaolo Degano, Roberto Gorrieri, Sebastiano Vigna
1993 — conf
Towards Performance Evaluation in Process Algebras.
AMAST
Roberto Gorrieri, Marco Roccetti
1992 — conf
A Categorial View of Process Refinement.
REX Workshop
Pierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini
1992 J jnl
A hierarchy of system descriptions via atomic linear refinement.
Fundam. Informaticae
Roberto Gorrieri
1991 — conf
An Extended Expansion Theorem.
TAPSOFT, Vol.2
Gian-Luigi Ferrari, Roberto Gorrieri, Ugo Montanari
1991 B conf
Atomic Refinement in Process Description Languages.
MFCS
Pierpaolo Degano, Roberto Gorrieri
1991 — conf
Distributed Implementation of CCS.
Applications and Theory of Petri Nets
Roberto Gorrieri, Ugo Montanari
1991 B conf
The Limit of Split_n-Bisimulations for CCS Agents.
MFCS
Roberto Gorrieri, Cosimo Laneve
1990 J jnl
A2CCKS: Atomic Actions for CCS.
Theor. Comput. Sci.
Roberto Gorrieri, Sergio Marchetti, Ugo Montanari
1990 A* conf
Implicative Formulae in the "Proofs as Computations" Analogy.
POPL
Andrea Asperti, Gian-Luigi Ferrari, Roberto Gorrieri
1990 B conf
SCONE: A Simple Calculus of Nets.
CONCUR
Roberto Gorrieri, Ugo Montanari
1990 J jnl
Towards Hierarchical Description of Systems: A Proof System for Strong Prefixing.
Int. J. Found. Comput. Sci.
Roberto Gorrieri, Ugo Montanari
1989 — conf
A Distributed, Net Oriented Semantics for Delta Prolog.
TAPSOFT, Vol.1
Antonio Brogi, Roberto Gorrieri
1989 B conf
Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language.
ICLP
Antonio Brogi, Roberto Gorrieri
1988 — conf
A²CCS: A Simple Extension of CCS for Handling Atomic Actions.
CAAP
Roberto Gorrieri, Sergio Marchetti, Ugo Montanari
1987 — conf
An Exercise in Concurrency: a CSP Process as a Condition/ event System.
European Workshop on Applications and Theory of Petri Nets
Pierpaolo Degano, Roberto Gorrieri, Sergio Marchetti