30 citations
- Fabien L. Gandon2 profiles7 · h 36
- Franck Michel3 profiles7 · h 15
- A. Breier3 · h 12
- A. Dorne3 · h 5
- Á. Koszorús3 profiles3 · h 13
- Andrew I. Comport3 · h 1
- Antoine Schnepf3 · h 3
- B. van den Borne2 profiles3 · h 0
- Catherine Faron-Zucker2 profiles3 · h 3
- Célian Ringwald3 · h 3
- D. Hanstorp3 · h 5
- Flavian Vasile3 · h 14
- Laboratoire d'Informatique, Signaux et Systèmes de Sophia AntipolisFR18 papers
- Centre National de la Recherche ScientifiqueFR13 papers
- Université Côte d'AzurFR10 papers
- Institut de Biologie ValroseFR9 papers
- Criteo (France)FR3 papers
- European Organization for Nuclear ResearchCH3 papers
- Institut national de l’information géographique et forestièreFR3 papers
- Institut national de recherche en sciences et technologies du numériqueFR3 papers
- Johannes Gutenberg University MainzDE3 papers
- KU LeuvenBE3 papers
- Laboratoire de Physique des 2 Infinis Irène Joliot-CurieFR3 papers
- Massachusetts Institute of TechnologyUS3 papers
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…