1 citations · 1 across the 2 of their papers we have counts for
4 papers
On the Impact of the Communication Model on Realisability
Cinzia Di Giusto, Etienne Lozes, Pascal Urso
Multiparty Session Types (MPST) provide a type-theoretic foundation for specifying and verifying communication protocols in distributed systems. MPST rely on the notion of global t…
Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
Cinzia Di Giusto, Giorgio Bacci
This volume contains the proceedings of EXPRESS/SOS 2025: the Combined 32nd International Workshop on Expressiveness in Concurrency and the 22nd Workshop on Structural Operational…
On the k-synchronizability of systems
Cinzia Di Giusto, Cinzia Giusto, Laetitia Laversa +1
In this paper, we work on the notion of k-synchronizability: a system is k-synchronizable if any of its executions, up to reordering causally independent actions, can be divided in…
Spiking Neural Networks modelled as Timed Automata with parameter learning
Elisabetta De Maria, Cinzia Di Giusto, Laetitia Laversa
In this paper we present a novel approach to automatically infer parameters of spiking neural networks. Neurons are modelled as timed automata waiting for inputs on a number of dif…