Seguir
Nicolas Lagaillardie
Nicolas Lagaillardie
Doctorant
Email confirmado em ic.ac.uk
Título
Citado por
Citado por
Ano
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–4