GORRIERI, ROBERTO
GORRIERI, ROBERTO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
An algebraic theory of nondeterministic finite automata
2025 Gorrieri, R.
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
2023 Cesco, Arnaldo; Gorrieri, Roberto
A study on team bisimulation and H-team bisimulation for BPP nets
2022 Gorrieri, R.
A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation
2021 Arnaldo Cesco; Roberto Gorrieri
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves
2021 Gorrieri R.
Causal Semantics for BPP Nets with Silent Moves
2021 Gorrieri, R
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
2021 Cesco A.; Gorrieri R.
Place Bisimilarity is Decidable, Indeed!
2021 Roberto Gorrieri
Team bisimilarity, and its associated modal logic, for BPP nets
2021 Gorrieri R.
A Study on Team Bisimulations for BPP nets
2020 Roberto Gorrieri
Interleaving vs True Concurrency: Some Instructive Security Examples
2020 Roberto Gorrieri
Team equivalences for finite-state machines with silent moves
2020 Roberto Gorrieri
Axiomatizing Team Equivalence for Finite-State Machines
2019 Roberto Gorrieri
Toward Distributed Computability Theory
2019 Gorrieri, Roberto
Verification of finite-state machines: A distributed approach
2018 Roberto Gorrieri
CCS(25,12) is Turing-complete
2017 Roberto, Gorrieri
Process Algebras for Petri Nets - The Alphabetization of Distributed Systems
2017 Gorrieri, Roberto
Language representability of finite place/transition Petri nets
2016 Gorrieri, Roberto
Introduction to Concurrency Theory - Transition Systems and CCS
2015 Gorrieri, Roberto; Versari, Cristian
Language representability of finite P/T nets
2015 Gorrieri, Roberto