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

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

Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language. - Antonio Brogi; Roberto Gorrieri (ICLP, 1989)

A Distributed, Net Oriented Semantics for Delta Prolog. - Antonio Brogi; Roberto Gorrieri (TAPSOFT, Vol.1, 1989)

SCONE: A Simple Calculus of Nets. - Roberto Gorrieri; Ugo Montanari (CONCUR, 1990)

Implicative Formulae in the "Proofs as Computations" Analogy. - Andrea Asperti; Gian-Luigi Ferrari 002; Roberto Gorrieri (POPL, 1990)

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

A2CCKS: Atomic Actions for CCS. - Roberto Gorrieri; Sergio Marchetti; Ugo Montanari (Theor. Comput. Sci., 1990)

Distributed Implementation of CCS. - Roberto Gorrieri; Ugo Montanari (Applications and Theory of Petri Nets, 1991)

Atomic Refinement in Process Description Languages. - Pierpaolo Degano; Roberto Gorrieri (MFCS, 1991)

The Limit of Split_n-Bisimulations for CCS Agents. - Roberto Gorrieri; Cosimo Laneve (MFCS, 1991)

An Extended Expansion Theorem. - Gian-Luigi Ferrari 002; Roberto Gorrieri; Ugo Montanari (TAPSOFT, Vol.2, 1991)

A Categorial View of Process Refinement. - Pierpaolo Degano; Roberto Gorrieri; Giuseppe Rosolini (REX Workshop, 1992)

A hierarchy of system descriptions via atomic linear refinement. - Roberto Gorrieri (Fundam. Informaticae, 1992)

Towards Performance Evaluation in Process Algebras. - Roberto Gorrieri; Marco Roccetti (AMAST, 1993)

On Relating Some Models for Concurrency. - Pierpaolo Degano; Roberto Gorrieri; Sebastiano Vigna (TAPSOFT, 1993)

Distributed Logic Programming. - Antonio Brogi; Roberto Gorrieri (J. Log. Program., 1993)

Real-Time System Verification using P/T Nets. - Roberto Gorrieri; Glauco Siliprandi (CAV, 1994)

A Taxonomy of Security Properties for CCS. - Riccardo Focardi; Roberto Gorrieri (CSFW, 1994)

Distributed Conflicts in Communicating Systems. - Nadia Busi; Roberto Gorrieri (ECOOP Workshop, 1994)

Integrated analysis of concurrent distributed systems using Markovian process algebra. - Marco Bernardo 001; Lorenzo Donatiello; Roberto Gorrieri (FORTE, 1994)

Axiomatising ST-Bisimulation Equivalence. - Nadia Busi; Rob J. van Glabbeek; Roberto Gorrieri (PROCOMET, 1994)

On Syntactic and Semantic Action Refinement. - Ursula Goltz; Roberto Gorrieri; Arend Rensink (TACS, 1994)

A Petri Net Semantics for pi-Calculus. - Nadia Busi; Roberto Gorrieri (CONCUR, 1995)

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

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

Giving a net semantics to Markovian process algebra. - Marco Bernardo 001; Lorenzo Donatiello; Roberto Gorrieri (PNPM, 1995)

A Distributed Semantics for EMPA Based on Stochastic Contextual Nets. - Marco Bernardo 001; Nadia Busi; Roberto Gorrieri (Comput. J., 1995)

A Taxonomy of Security Properties for Process Algebras. - Riccardo Focardi; Roberto Gorrieri (J. Comput. Secur., 1995)

On the Implementation of Concurrent Calculi in Net Calculi: Two Case Studies. - Roberto Gorrieri; Ugo Montanari (Theor. Comput. Sci., 1995)

A Theory of Processes with Durational Actions. - Roberto Gorrieri; Marco Roccetti; Enrico Stancampiano (Theor. Comput. Sci., 1995)

Split and ST Bisimulation Semantics - Roberto Gorrieri; Cosimo Laneve (Inf. Comput., 1995)

A Causal Operational Semantics of Action Refinement - Pierpaolo Degano; Roberto Gorrieri (Inf. Comput., 1995)

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

Extended Markovian Process Algebra. - Marco Bernardo 001; Roberto Gorrieri (CONCUR, 1996)

Automatic Compositional Verification of Some Security Properties. - Riccardo Focardi; Roberto Gorrieri (TACAS, 1996)

On the Power of Concurrency Theory. - Roberto Gorrieri (ACM Comput. Surv., 1996)

Comparing Syntactic and Semantic Sction Refinement. - Ursula Goltz; Roberto Gorrieri; Arend Rensink (Inf. Comput., 1996)

Three Semantics of the Output Operation for Generative Communication. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (COORDINATION, 1997)

Action refinement for Vertical Implementation. - Arend Rensink; Roberto Gorrieri (FBT, 1997)

Action Refinement as an Implementation Relations. - Arend Rensink; Roberto Gorrieri (TAPSOFT, 1997)

Performance Preorder and Competitive Equivalence. - Flavio Corradini; Roberto Gorrieri; Marco Roccetti (Acta Informatica, 1997)

On the Turing equivalence of Linda coordination primitives. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (EXPRESS, 1997)

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

Towards Performance Evaluation with General Distributions in Process Algebras. - Mario Bravetti; Marco Bernardo 001; Roberto Gorrieri (CONCUR, 1998)

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

Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet. - Marco Bernardo 001; Roberto Gorrieri; Marco Roccetti (Formal Aspects Comput., 1998)

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

Towards parallelization of concurrent systems. - Flavio Corradini; Roberto Gorrieri; Davide Marchignoli (RAIRO Theor. Informatics Appl., 1998)

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

A Process Algebraic View of Linda Coordination Primitives. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (Theor. Comput. Sci., 1998)

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

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

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

Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement. - Mario Bravetti; Roberto Gorrieri (EXPRESS, 1999)

Secrecy in Security Protocols as Non Interference. - Riccardo Focardi; Roberto Gorrieri; Fabio Martinelli (Workshop on Secure Architectures and Information Flow, 1999)

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

Message Authentication through Non Interference. - Riccardo Focardi; Roberto Gorrieri; Fabio Martinelli (AMAST, 2000)

Information Flow Analysis in a Discrete-Time Process Algebra. - Riccardo Focardi; Roberto Gorrieri; Fabio Martinelli (CSFW, 2000)

On the Semantics of JavaSpaces. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (FMOODS, 2000)

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

A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors. - Mario Bravetti; Roberto Gorrieri (ICALP, 2000)

Non Interference for the Analysis of Cryptographic Protocols. - Riccardo Focardi; Roberto Gorrieri; Fabio Martinelli (ICALP, 2000)

Introduction: International Workshop on Process Algebra and Performance Modelling. - Roberto Gorrieri (ICALP Satellite Workshops, 2000)

Coping with denial of service due to malicious Java applets. - Maria Felicia Florio; Roberto Gorrieri; Gianluigi Marchetti (Comput. Commun., 2000)

On the Expressiveness of Linda Coordination Primitives. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (Inf. Comput., 2000)

Comparing three semantics for Linda-like languages. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (Theor. Comput. Sci., 2000)

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

Action Refinement. - Roberto Gorrieri; Arend Rensink (Handbook of Process Algebra, 2001)

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

Temporary Data in Shared Dataspace Coordination Languages. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (FoSSaCS, 2001)

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

Techniques for Security Checking: Non-Interference vs Control Flow Analysis. - Chiara Bodei; Pierpaolo Degano; Riccardo Focardi; Roberto Gorrieri; Fabio Martinelli (TOSCA, 2001)

Formal Models of Timing Attacks on Web Privacy. - Riccardo Focardi; Roberto Gorrieri; Ruggero Lanotte; Andrea Maggiolo-Schettini; Fabio Martinelli; Simone Tini; Enrico Tronci (TOSCA, 2001)

Vertical Implementation. - Arend Rensink; Roberto Gorrieri (Inf. Comput., 2001)

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

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

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

Classification of Security Properties - Part II: Network Security. - Riccardo Focardi; Roberto Gorrieri; Fabio Martinelli (FOSAD, 2002)

Security Analysis of a Probabilistic Non-repudiation Protocol. - Alessandro Aldini; Roberto Gorrieri (PAPM-PROBMIV, 2002)

SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents. - Nadia Busi; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (FOCLASA, 2002)

Unified specification and performance evaluation using stochastic process algebras. - Roberto Gorrieri; Ulrich Herzog; Jane Hillston (Perform. Evaluation, 2002)

The theory of interactive generalized semi-Markov processes. - Mario Bravetti; Roberto Gorrieri (Theor. Comput. Sci., 2002)

Editorial. - Roberto Gorrieri (Theor. Comput. Sci., 2002)

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

A Survey on Non-interference with Petri Nets. - Nadia Busi; Roberto Gorrieri (Lectures on Concurrency and Petri Nets, 2003)

Compositional Verification of Integrity for Digital Stream Signature Protocols. - Roberto Gorrieri; Fabio Martinelli; Marinella Petrocchi; Anna Vaccarelli (ACSD, 2003)

A Simple Language for Real-Time Cryptographic Protocol Analysis. - Roberto Gorrieri; Enrico Locatelli; Fabio Martinelli (ESOP, 2003)

Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. - Roberto Gorrieri; Fabio Martinelli; Marinella Petrocchi; Anna Vaccarelli (FMOODS, 2003)

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

Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols. - Roberto Gorrieri; Fabio Martinelli (MFCS, 2003)

On Securing Real-Time Speech Transmission over the Internet: An Experimental Study. - Alessandro Aldini; Marco Roccetti; Roberto Gorrieri (EURASIP J. Adv. Signal Process., 2003)

Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time. - Mario Bravetti; Roberto Gorrieri (MEFISTO, 2003)

A formal approach for checking security properties in SecSpaces. - Mario Bravetti; Roberto Gorrieri; Roberto Lucchi (SecCo, 2003)

Combining Partitions in SecSpaces. - Mario Bravetti; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (MEFISTO, 2003)

Approximating Imperfect Cryptography in a Formal Model. - Angelo Troina; Alessandro Aldini; Roberto Gorrieri (MEFISTO, 2003)

Real-time information flow analysis. - Riccardo Focardi; Roberto Gorrieri; Fabio Martinelli (IEEE J. Sel. Areas Commun., 2003)

A comparison of three authentication properties. - Riccardo Focardi; Roberto Gorrieri; Fabio Martinelli (Theor. Comput. Sci., 2003)

Positive Non-interference in Elementary and Trace Nets. - Nadia Busi; Roberto Gorrieri (ICATPN, 2004)

Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. - Mario Bravetti; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (COORDINATION, 2004)

Towards a Formal Treatment of Secrecy Against Computational Adversaries. - Angelo Troina; Alessandro Aldini; Roberto Gorrieri (Global Computing, 2004)

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

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

Contrasting Malicious Java Applets by Modifying the Java Virtual Machine. - Vincenzo Ciaschini; Roberto Gorrieri (SEC, 2004)

On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. - Mario Bravetti; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (SecCo, 2004)

Preface. - Nadia Busi; Roberto Gorrieri; Fabio Martinelli (WISP@ICATPN, 2004)

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

A process-algebraic approach for the analysis of probabilistic noninterference. - Alessandro Aldini; Mario Bravetti; Roberto Gorrieri (J. Comput. Secur., 2004)

A simple framework for real-time cryptographic protocol analysis with compositional proof rules. - Roberto Gorrieri; Fabio Martinelli (Sci. Comput. Program., 2004)

Reasoning About Interaction Patterns in Choreography. - Roberto Gorrieri; Claudio Guidi; Roberto Lucchi (EPEW/WS-FM, 2005)

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

Towards a formal framework for Choreography. - Nadia Busi; Roberto Gorrieri; Claudio Guidi; Roberto Lucchi; Gianluigi Zavattaro (WETICE, 2005)

A Formalization of Credit and Responsibility Within the GNDC Schema. - Roberto Gorrieri; Fabio Martinelli; Marinella Petrocchi (STM, 2005)

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

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

Choreography and Orchestration Conformance for System Design. - Nadia Busi; Roberto Gorrieri; Claudio Guidi; Roberto Lucchi; Gianluigi Zavattaro (COORDINATION, 2006)

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

Supporting Secure Coordination in SecSpaces. - Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (Fundam. Informaticae, 2006)

On the Computational Power of Brane Calculi. - Nadia Busi; Roberto Gorrieri (Trans. Comp. Sys. Biology, 2006)

On the Expressive Power of Global and Local Priority in Process Calculi. - Cristian Versari; Nadia Busi; Roberto Gorrieri (CONCUR, 2007)

Obituary, Nadia Busi (1968-2007). - Roberto Gorrieri (Bull. EATCS, 2007)

Ugo Montanari and Concurrency Theory. - Roberto Gorrieri (Concurrency, Graphs and Models, 2008)

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

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

Towards Information Flow Properties for Distributed Systems. - Roberto Gorrieri; Fabio Martinelli; Ilaria Matteucci (VODCA@FOSAD, 2008)

Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks. - Roberto Gorrieri; Fabio Martinelli; Marinella Petrocchi (J. Autom. Reason., 2008)

On the Relationship between π-Calculus and Finite Place/Transition Petri Nets. - Roland Meyer 001; Roberto Gorrieri (CONCUR, 2009)

On Petri Net semantics for Process Calculi. - Roberto Gorrieri (ICTCS, 2009)

Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs. - Nadia Busi; Roberto Gorrieri (J. Log. Algebraic Methods Program., 2009)

Structural non-interference in elementary and trace nets. - Nadia Busi; Roberto Gorrieri (Math. Struct. Comput. Sci., 2009)

An expressiveness study of priority in process calculi. - Cristian Versari; Nadia Busi; Roberto Gorrieri (Math. Struct. Comput. Sci., 2009)

A Process Calculus for Expressing Finite Place/Transition Petri Nets - Roberto Gorrieri; Cristian Versari (EXPRESS, 2010)

On the Decidability of Non Interference over Unbounded Petri Nets - Eike Best; Philippe Darondeau; Roberto Gorrieri (SecCo, 2010)

On Intransitive Non-interference in Some Models of Concurrency. - Roberto Gorrieri; Matteo Vernali (FOSAD, 2011)

An Operational Petri Net Semantics for A2CCS. - Roberto Gorrieri; Cristian Versari (Fundam. Informaticae, 2011)

Language Representability of Finite P/T Nets. - Roberto Gorrieri (Programming Languages with Applications to Biology and Security, 2015)

Introduction to Concurrency Theory - Transition Systems and CCS - Roberto Gorrieri; Cristian Versari (Springer, 2015)

Language representability of finite place/transition Petri nets. - Roberto Gorrieri (Vietnam. J. Comput. Sci., 2016)

CCS(25, 12) is Turing-complete. - Roberto Gorrieri (Fundam. Informaticae, 2017)

Process Algebras for Petri Nets - The Alphabetization of Distributed Systems - Roberto Gorrieri (Springer, 2017)

Verification of finite-state machines: A distributed approach. - Roberto Gorrieri (J. Log. Algebraic Methods Program., 2018)

Toward Distributed Computability Theory. - Roberto Gorrieri (Carl Adam Petri: Ideas, Personality, Impact, 2019)

Axiomatizing Team Equivalence for Finite-State Machines. - Roberto Gorrieri (The Art of Modelling Computational Systems, 2019)

Interleaving vs True Concurrency: Some Instructive Security Examples. - Roberto Gorrieri (Petri Nets, 2020)

A Study on Team Bisimulations for BPP Nets. - Roberto Gorrieri (Petri Nets, 2020)

Team equivalences for finite-state machines with silent moves. - Roberto Gorrieri (Inf. Comput., 2020)

Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves. - Roberto Gorrieri (FORTE, 2021)

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (11). - Arnaldo Cesco; Roberto Gorrieri (ICTCS, 2021)

A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation. - Arnaldo Cesco; Roberto Gorrieri (MFCS, 2021)

Team bisimilarity, and its associated modal logic, for BPP nets. - Roberto Gorrieri (Acta Informatica, 2021)

Place Bisimilarity is Decidable, Indeed! - Roberto Gorrieri (CoRR, 2021)

Causal Semantics for BPP Nets with Silent Moves. - Roberto Gorrieri (Fundam. Informaticae, 2021)

A study on team bisimulation and H-team bisimulation for BPP nets. - Roberto Gorrieri (Theor. Comput. Sci., 2022)

The Algebra of Nondeterministic Finite Automata. - Roberto Gorrieri (CoRR, 2023)

Distributed Non-Interference. - Roberto Gorrieri (CoRR, 2023)

Branching Place Bisimilarity. - Roberto Gorrieri (CoRR, 2023)

Compositional Semantics of Finite Petri Nets. - Roberto Gorrieri (CoRR, 2023)

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets. - Arnaldo Cesco; Roberto Gorrieri (Log. Methods Comput. Sci., 2023)

Axiomatizing NFAs Generated by Regular Grammars. - Roberto Gorrieri (CoRR, 2024)

An algebraic theory of nondeterministic finite automata. - Roberto Gorrieri (J. Log. Algebraic Methods Program., 2025)

Decidable Reversible Equivalences for Finite Petri Nets. - Roberto Gorrieri; Ivan Lanese (CoRR, 2025)