講演・口頭発表等

2019年12月12日

Fully Static Multiparty Session Programming with Global Protocol Combinators

The 2019 Joint Workshop on Formal Methods, Shanghai, China
  • Keigo Imai
    • ,
  • Rumyana Neykova
    • ,
  • Nobuko Yoshida
    • ,
  • Shoji Yuen
記述言語
英語
会議種別
口頭発表（一般）
開催地
Shanghai, China
講演・口頭発表等リストへ