Arnaldo Cesco

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 6

Top Topics

Concurrent Processes

Top Venues

Log. Methods Comput. Sci.

Publications

Arnaldo Cesco, Roberto Gorrieri
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets. Log. Methods Comput. Sci. 19 (4) (2023)
Arnaldo Cesco, Roberto Gorrieri
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets. CoRR (2021)
Arnaldo Cesco, Roberto Gorrieri
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (11). ICTCS (2021)
Arnaldo Cesco, Francesco Ballardin, Gustavo Marfia
CeVRicale: A VR app for Cervical Rehabilitation. VR Workshops (2021)
Arnaldo Cesco, Roberto Gorrieri
A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation. MFCS (2021)
Arnaldo Cesco, Roberto Gorrieri
A Decidable Equivalence for a Turing-complete, Distributed Model of Computation. CoRR (2021)