Laboratoires i2m

most citedOn the Impact of the Communication Model on Realisability

1 citations

researchers with a paper here

Adrien Richard1 · h 1
C. Giusto1 · h 13
É. Lozes1 · h 16
F. Bridoux1 · h 5
G. Theyssier1 · h 16
J. Aracena1 · h 17
Kévin Perrot1 · h 3
M. Gadouleau1 · h 18
Pascal Urso1 · h 1
P. Guillon1 · h 2

collaborating institutions

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

Showing cs.FLShow all

1 paper · 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…