From the 1 of 10 papers with an AI index.
4 citations
- Université Grenoble AlpesFR6 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- Institut polytechnique de GrenobleFR4 papers
- GIPSA-LabFR3 papers
- Centre Inria de l'Université Grenoble AlpesFR2 papers
- Aix-Marseille UniversitéFR1 paper
- Columbia UniversityUS1 paper
- École Polytechnique Fédérale de LausanneCH1 paper
- Fudan UniversityCN1 paper
- Henri Poincaré Institute1 paper
- IMT Mines AlbiFR1 paper
- Institut de Mathématiques de ToulouseFR1 paper
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
Richard Casetta, Nils Gesbert, Pierre Genevès
Modern web applications combine persistent state updates, concurrent interactions, and unreliable communication with external services. Failures such as timeouts can occur after pa…
cs.PL2026
Guidelines for Producing Concise LNT Models, Illustrated with Formal Models of the Algorand Consensus Protocol
Hubert Garavel
LNT is a modern language for the formal description of concurrent systems. It generalizes traditional process calculi and overcomes their known limitations by incorporating feature…