講演・口頭発表等

本文へのリンクあり 国際共著 国際会議
2021年8月26日

Verifying Multiparty Communication Protocols using ML Type Systems

ML'21: ML Workshop 2021, co-located with ICFP 2021
  • Keigo Imai
  • ,
  • Rumyana Neykova
  • ,
  • Nobuko Yoshida
  • ,
  • Shoji Yuen

記述言語
英語
会議種別
口頭発表(一般)

リンク情報
共同研究・競争的資金等の研究課題
データと時間を扱うオートマトンネットワークの合成的アクティブ学習に基づく設計手法
共同研究・競争的資金等の研究課題
セッション型の埋め込みに基づく実用的な並行分散計算
共同研究・競争的資金等の研究課題
メッセージの到達性を保証しない通信環境におけるセッション型付きプログラミング
URL
https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/3/Verifying-Multiparty-Communication-Protocols-using-ML-Type-Systems 本文へのリンクあり
ID情報
  • 共同研究・競争的資金等の研究課題の業績ID : 32080409
  • 共同研究・競争的資金等の研究課題の業績ID : 34137738
  • 共同研究・競争的資金等の研究課題の業績ID : 11567422