Takip et
Nicolas Lagaillardie
Nicolas Lagaillardie
Doctorant
ic.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–4