Browsing by Subject Distributed Programming
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) |
---|---|---|
2017 | Let it recover: Multiparty protocol-induced recovery | Neykova, R; Yoshida, N |
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 |