3 citations
- Centre de Gestion ScientifiqueFR2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Infection et inflammationFR2 papers
- Laboratoire d'Informatique, Signaux et Systèmes de Sophia AntipolisFR2 papers
- Laboratoires i2mFR2 papers
- Anna Needs Neuroblastoma AnswersUS1 paper
- Centre de Recherche en Cancérologie et Immunologie Intégrée Nantes AngersFR1 paper
- Eramet (France)FR1 paper
- Hochschule AalenDE1 paper
- Laboratoire des Sciences du Numérique de NantesFR1 paper
- Nantes UniversitéFR1 paper
- Tallinn University of TechnologyEE1 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…