抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
マルチパーティセッションタイプ(MPST)は,2つ以上の参加者を含むセッションで相互作用するメッセージパッシングプロセスのための良く確立されたタイピング分野である。セッションタイピングは望ましい特性を保証することができる:通信エラーとデッドロックの欠如,およびプロトコル適合性。著者らは,(1)タイプ化されたプロセスの保証された挙動,(2)他のプロセスの挙動に依存する,をチェックする,依存/保証タイピングシステムに基づく新しいMPST理論を提案する。決定的に,著者らの理論は,タイピング誘導を通して不変量を分類することによって,タイプ安全性を達成した。「古典的」MPST研究とは異なり,著者らのタイピングシステムはグローバルセッションタイプに依存せず,構文的双対性チェックを使用せず,結果として,著者らの新しい理論は,複雑な役割間依存性を持つプロトコルを実行するプロセスに対するタイプ安全性を証明できる。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】