Browsing by Author Yoshida, N
Showing results 1 to 10 of 10
Issue Date | Title | Author(s) |
---|---|---|
3-Jul-2019 | Featherweight Scribble | Neykova, R; Yoshida, N |
Jun-2017 | How to Verify Your Python Conversations | Neykova, R; Yoshida, N |
10-Jun-2020 | Implementing multiparty session types in rust | Lagaillardie, N; Neykova, R; Yoshida, N |
2017 | Let it recover: Multiparty protocol-induced recovery | Neykova, R; Yoshida, N |
2017 | Multiparty session actors | Neykova, R; Yoshida, N |
2020 | Multiparty Session Programming with Global Protocol Combinators | Imai, K; Neykova, R; Yoshida, N; Yuen, S |
1-Jan-2018 | A session type provider compile-time API generation of distributed protocols with refinements in F# | Neykova, R; Hu, R; Yoshida, N; Abdeljallal, F |
13-Nov-2020 | Statically verified refinements for multiparty protocols | Zhou, F; Ferreira, F; Hu, R; Neykova, R; Yoshida, N |
23-Jun-2022 | Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types | Lagaillardie, N; Neykova, R; Yoshida, N |
2017 | Timed runtime monitoring for multiparty conversations | Neykova, R; Bocchi, L; Yoshida, N |