Recent Papers

 

1.  R. Gorrieri, Compositional Semantics of Finite Petri Nets, CoRR abs/2308.08983, 2023

2.  R. Gorrieri, The Algebra of Nondeterministic Finite Automata, CoRR abs/2301.03435, 2023

3.  R. Gorrieri, Branching Place Bisimilarity, CoRR abs/2305.04222, 2023

4.  R. Gorrieri, Distributed Non-interference, CoRR abs/2301.08570, 2023

5.  R.Gorrieri, A Study on Team Bisimulation and H-team Bisimulation for BPP nets, Theoretical Computer Science 897:83-113, 2022

6.  A. Cesco, R. Gorrieri, A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation, in Procs. MFCS 2021, LIPIcs 202, 28:1-28:18, 2021.

7. A. Cesco, R. Gorrieri, Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets, CoRR abs/2104.14856, 2021 (Extended abstract in Procs. Italian Conference on Theoretical Computer Science ICTCS’21).

8. R. Gorrieri, Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves, in Procs. FORTE 2021, LNCS 12719, 80-99, Springer, 2021.

9. R. Gorrieri, Place Bisimilarity is Decidable, Indeed!, CoRR abs/2104.01392, 2021.

10. R. Gorrieri, Causal Semantics for BPP Nets with Silent Moves,  Fundam. Informaticae 180(3):179-249, 2021.

11. R. Gorrieri, Team Bisimilarity, and Its Associated Modal Logic, for BPP nets, Acta Informatica, 58(5):529-569, Springer, 2021. 

12. R. Gorrieri, Team Equivalences for Finite-State Machines with Silent Moves, Information and Computation, 275:104603, Elsevier, 2020.

13. R. Gorrieri, A Study on Team Bisimulations for BPP nets, in Procs. Petri Net Conference, LNCS 12152, 153-175, Springer, 2020.

14. R. Gorrieri, Interleaving vs True Concurrency: Some Instructive Security Examples, in Procs. Petri Net Conference, LNCS 12152, 131-152, Springer, 2020.

15. R. Gorrieri, Axiomatizing Team Equivalence for Finite-State Machines, "The Art f Modeling Computational Systems" (Essays in honor of Catuscia Palamidessi), 14-32, LNCS 11760, Springer, 2019.

16. R. Gorrieri, Toward Distributed Computability Theory, "Carl Adam Petri: His Ideas, Personality, and Impact" (W. Reisig, G. Rozenberg, eds.), 141-146, Springer, 2019.

17. R. Gorrieri, Verification of Finite-State Machines: A Distributed Approach, Journal of Logic and Algebraic Methods in Programming, 96:65-80, 2018.

18. R. Gorrieri, CCS(25,12) is Turing-complete, Fundamenta Informaticae, 154(1-4):145-166. 2017.

19. R. Gorrieri, Grzegorz.Rozenberg@alma.mater.unibo.it, "A Magician in Science: Liber Amicorum", TUCS, 2017.

20.  R. Gorrieri, Language Representability of Finite Place/Transition Petri Nets, Vietnam Journal of Computer Science 3(1):15-34, 2016. (updated version)

21.  R. Gorrieri, Language Representability of Finite P/T nets, in Programming languages with applications to biology and security - Colloquium in honour of Pierpaolo Degano for his 65th birthday, (PLABS 2015), LNCS 9465, 262-282, Springer-Verlag, 2015. (extended abstract of the paper above)

22. R. Gorrieri, C. Versari, An Operational Petri Nets Semantics for A2CCS, Fundamenta Informaticae 109(2):135-160, 2011.

23. R. Gorrieri, M. Vernali, On Intransitive Noninterference in Some Models of Concurrency, in FOSAD 2011, LNCS 6858, 125-151,  Springer, 2011.

24.  E. Best, Ph. Darondeau, R. Gorrieri, On the Decidability of Noninterference Over Unbounded Petri Nets,  SecCo 2010,  EPTCS 51, 16:33, 2010.