1 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Centre National de la Recherche ScientifiqueFR2 papers
- Infection et inflammationFR2 papers
- IQ SamhällsbyggnadSE2 papers
- Laboratoire d'Informatique, Signaux et Systèmes de Sophia AntipolisFR2 papers
- Anna Needs Neuroblastoma AnswersUS1 paper
- Caporal Assistance NetworkUS1 paper
- Institut de Mécanique et d'Ingénierie de BordeauxFR1 paper
- Laboratoire d’Informatique et SystèmesFR1 paper
- Tallinn University of TechnologyEE1 paper
- University of CundinamarcaCO1 paper
3 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…
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…
Realisability and Complementability of Multiparty Session Types
Cinzia Di Giusto, Etienne Lozes, Pascal Urso
Multiparty session types (MPST) are a type-based approach for specifying message-passing distributed systems. They rely on the notion of global type specifying the global behaviour…