A Computational Study on Fairness of the Tendermint Blockchain Protocol. - Nicolas Lagaillardie; Mohamed Aimen Djari; Önder Gürcan (Inf., 2019)

Implementing Multiparty Session Types in Rust. - Nicolas Lagaillardie; Rumyana Neykova; Nobuko Yoshida (COORDINATION, 2020)

Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types. - Nicolas Lagaillardie; Rumyana Neykova; Nobuko Yoshida (ECOOP, 2022)

Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact). - Nicolas Lagaillardie; Rumyana Neykova; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2022)

Fearless Asynchronous Communications with Timed Multiparty Session Protocols. - Ping Hou; Nicolas Lagaillardie; Nobuko Yoshida (ECOOP, 2024)

Fearless Asynchronous Communications with Timed Session Types in Rust (Artifact). - Nicolas Lagaillardie; Ping Hou; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2024)