Folgen
Nicolas Lagaillardie
Nicolas Lagaillardie
Doctorant
Bestätigte E-Mail-Adresse bei ic.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–4