1 citations
- Caporal Assistance NetworkUS1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Infection et inflammationFR1 paper
- Institut de Mécanique et d'Ingénierie de BordeauxFR1 paper
- IQ SamhällsbyggnadSE1 paper
- Laboratoire d’Informatique et SystèmesFR1 paper
- Laboratoire d'Informatique, Signaux et Systèmes de Sophia AntipolisFR1 paper
- University of CundinamarcaCO1 paper
2 papers
cs.FL2025★ 1 cited
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…
cs.CC2025
On the Dynamics of Bounded-Degree Automata Networks
Julio Aracena, Florian Bridoux, Maximilien Gadouleau +4
Automata networks can be seen as bare finite dynamical systems, but their growing theory has shown the importance of the underlying communication graph of such networks. This paper…