文献

J-GLOBAL ID：201802227396568333   整理番号：18A0724460

双対性を超えたマルチパーティセッション型【JST・京大機械翻訳】

Multiparty session types, beyond duality

著者 (2件)： Scalas Alceste (Imperial College London, UK) ,  Yoshida Nobuko (Imperial College London, UK)
資料名： Journal of Logical and Algebraic Methods in Programming  (Journal of Logical and Algebraic Methods in Programming)
巻： 97  ページ： 55-84  発行年： 2018年 
JST資料番号： W1593A  ISSN： 2352-2208  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： マルチパーティセッションタイプ(MPST)は,2つ以上の参加者を含むセッションで相互作用するメッセージパッシングプロセスのための良く確立されたタイピング分野である。セッションタイピングは望ましい特性を保証することができる:通信エラーとデッドロックの欠如,およびプロトコル適合性。著者らは,(1)タイプ化されたプロセスの保証された挙動,(2)他のプロセスの挙動に依存する,をチェックする,依存/保証タイピングシステムに基づく新しいMPST理論を提案する。決定的に,著者らの理論は,タイピング誘導を通して不変量を分類することによって,タイプ安全性を達成した。「古典的」MPST研究とは異なり,著者らのタイピングシステムはグローバルセッションタイプに依存せず,構文的双対性チェックを使用せず,結果として,著者らの新しい理論は,複雑な役割間依存性を持つプロトコルを実行するプロセスに対するタイプ安全性を証明できる。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 相互作用 ,  デッドロック ,  *双対性 ,  不変量 ,  プロトコル ,  安全性 ,  適応性

著者キーワード (4件)： 並行性 ,  プロセス計算 ,  マルチパーティセッションタイプ ,  双対性

分類 (2件)： 遺伝子の構造と化学  (EC02020U) ,  工程管理  (KB03030P)

タイトルに関連する用語 (1件)： 双対性