GORRIERI, ROBERTO
GORRIERI, ROBERTO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
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 Roberto Gorrieri
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
An Operational Petri Net Semantics for A2CCS
2011 R. Gorrieri; C. Versari
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets | Cesco, Arnaldo; Gorrieri, Roberto | 2023-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | 2104.14856.pdf |
| A study on team bisimulation and H-team bisimulation for BPP nets | Gorrieri R. | 2022-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation | Arnaldo Cesco; Roberto Gorrieri | 2021-01-01 | - | Schloss Dagstuhl -- Leibniz-Zentrum f{"u}r Informatik | 4.01 Contributo in Atti di convegno | LIPIcs-MFCS-2021-28.pdf |
| Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves | Gorrieri R. | 2021-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | - |
| Causal Semantics for BPP Nets with Silent Moves | Gorrieri, R | 2021-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | bpp-causal-Gorrieri.pdf |
| Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets | Cesco A.; Gorrieri R. | 2021-01-01 | - | CEUR-WS | 4.01 Contributo in Atti di convegno | paper12.pdf |
| Place Bisimilarity is Decidable, Indeed! | Roberto Gorrieri | 2021-01-01 | - | Cornell University | 7.13 Rapporto tecnico | - |
| Team bisimilarity, and its associated modal logic, for BPP nets | Gorrieri R. | 2021-01-01 | ACTA INFORMATICA | - | 1.01 Articolo in rivista | final-team.pdf |
| A Study on Team Bisimulations for BPP nets | Roberto Gorrieri | 2020-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
| Interleaving vs True Concurrency: Some Instructive Security Examples | Roberto Gorrieri | 2020-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
| Team equivalences for finite-state machines with silent moves | Roberto Gorrieri | 2020-01-01 | INFORMATION AND COMPUTATION | - | 1.01 Articolo in rivista | iandc-final.pdf |
| Axiomatizing Team Equivalence for Finite-State Machines | Roberto Gorrieri | 2019-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
| Toward Distributed Computability Theory | Roberto Gorrieri | 2019-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
| Verification of finite-state machines: A distributed approach | Roberto Gorrieri | 2018-01-01 | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - | 1.01 Articolo in rivista | - |
| CCS(25,12) is Turing-complete | Roberto, Gorrieri | 2017-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
| Process Algebras for Petri Nets - The Alphabetization of Distributed Systems | Gorrieri, Roberto | 2017-01-01 | - | Springer | 3.01 Monografia / trattato scientifico in forma di libro | - |
| Language representability of finite place/transition Petri nets | Gorrieri, Roberto | 2016-01-01 | VIETNAM JOURNAL OF COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| Introduction to Concurrency Theory - Transition Systems and CCS | Gorrieri, Roberto; Versari, Cristian | 2015-01-01 | - | Ronan Nugent | 3.01 Monografia / trattato scientifico in forma di libro | - |
| Language representability of finite P/T nets | Gorrieri, Roberto | 2015-01-01 | - | Springer Verlag | 2.01 Capitolo / saggio in libro | - |
| An Operational Petri Net Semantics for A2CCS | R. Gorrieri; C. Versari | 2011-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |