Cesco, Arnaldo; Gorrieri, Roberto, Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets, «LOGICAL METHODS IN COMPUTER SCIENCE», 2023, 19, pp. 1 - 37 [Scientific article]Open Access
Gorrieri R., A study on team bisimulation and H-team bisimulation for BPP nets, «THEORETICAL COMPUTER SCIENCE», 2022, 897, pp. 83 - 113 [Scientific article]
Arnaldo Cesco; Roberto Gorrieri, A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation, in: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Dagsthul, Schloss Dagstuhl -- Leibniz-Zentrum f{"u}r Informatik, 2021, 202, pp. 1 - 18 (atti di: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Tallinn, Estonia, 23-27 agosto 2021) [Contribution to conference proceedings]Open Access
Gorrieri R., Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Heidelberg, Springer Science and Business Media Deutschland GmbH, 2021, 12719, pp. 80 - 99 (atti di: Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, La Valletta, Malta, 14-18 Giugno 2021) [Contribution to conference proceedings]
Gorrieri, R, Causal Semantics for BPP Nets with Silent Moves, «FUNDAMENTA INFORMATICAE», 2021, 180, pp. 179 - 249 [Scientific article]Open Access
Cesco A.; Gorrieri R., Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets, in: ICTCS 2021 - 22nd Italian Conference on Theoretical Computer Science 2021, CEUR-WS, 2021, 3072, pp. 135 - 149 (atti di: 22nd Italian Conference on Theoretical Computer Science, ICTCS 2021, Bologna, Italy, September 13-15, 2021) [Contribution to conference proceedings]Open Access
Roberto Gorrieri, Place Bisimilarity is Decidable, Indeed!, Ithaca, Cornell University, 2021, pp. 30 . [Technical report]
Gorrieri R., Team bisimilarity, and its associated modal logic, for BPP nets, «ACTA INFORMATICA», 2021, 58, pp. 529 - 569 [Scientific article]Open Access
Roberto Gorrieri, A Study on Team Bisimulations for BPP nets, in: Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Heidelberg, Springer, 2020, pp. 153 - 175 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
Roberto Gorrieri, Interleaving vs True Concurrency: Some Instructive Security Examples, in: Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Heidelberg, Springer, 2020, pp. 131 - 152 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
Roberto Gorrieri, Team equivalences for finite-state machines with silent moves, «INFORMATION AND COMPUTATION», 2020, 275, Article number: 104603 , pp. 1 - 46 [Scientific article]Open Access
Roberto Gorrieri, Axiomatizing Team Equivalence for Finite-State Machines, in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Heidelberg, Springer, 2019, pp. 14 - 32 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
Roberto Gorrieri, Toward Distributed Computability Theory, in: Carl Adam Petri: Ideas, Personality, Impact, Chaum, Springer, 2019, pp. 141 - 146 [Chapter or essay]
Roberto Gorrieri, Verification of finite-state machines: A distributed approach, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2018, 96, pp. 65 - 80 [Scientific article]
Roberto, Gorrieri, CCS(25,12) is Turing-complete, «FUNDAMENTA INFORMATICAE», 2017, 154, pp. 145 - 166 [Scientific article]
