Di Giusto, Cinzia

1. On the k-synchronizability of systems
   2019/09/04 by Di Giusto, Cinzia, Giusto, Cinzia, Laversa, Laetitia +1 · 1 citation
   #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Software Engineering (cs.SE) #Symbolic Computation (cs.SC)
2. A partial order view of message-passing communication models
   2022/10/24 by Di Giusto, Cinzia, Ferré, Davide, Laversa, Laetitia +1 · 1 citation
   #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Symbolic Computation (cs.SC)