CRIS Current Research Information System

GORRIERI, ROBERTO

GORRIERI, ROBERTO  

DISI - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di Ia fascia  

Mostra records
Risultati 1 - 20 di 73 (tempo di esecuzione: 0.041 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
An algebraic theory of nondeterministic finite automata Gorrieri, R. 2025-01-01 THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING - 1.01 Articolo in rivista -
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 final-tcs.pdf
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 Gorrieri, Roberto 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 -