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
Showing cs.FLShow all
2 papers · 1 filter
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.FL2025★ 1 cited
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…