Volgen
Nicolas Lagaillardie
Nicolas Lagaillardie
Doctorant
Geverifieerd e-mailadres voor ic.ac.uk
Titel
Geciteerd door
Geciteerd door
Jaar
Implementing multiparty session types in rust
N Lagaillardie, R Neykova, N Yoshida
International Conference on Coordination Languages and Models, 127-136, 2020
332020
Stay safe under panic: Affine rust programming with multiparty session types
N Lagaillardie, R Neykova, N Yoshida
arXiv preprint arXiv:2204.13464, 2022
252022
A computational study on fairness of the tendermint blockchain protocol
N Lagaillardie, MA Djari, Ö Gürcan
Information 10 (12), 378, 2019
202019
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact)
N Lagaillardie, R Neykova, N Yoshida
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2022
12022
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–4