文献

J-GLOBAL ID：202202289608612521   整理番号：22A0004620

混合セッション【JST・京大機械翻訳】

Mixed sessions

著者 (3件)： Casal Filipe (LASIGE, Faculdade de Ciencias, Universidade de Lisboa, Portugal) ,  Mordido Andreia (LASIGE, Faculdade de Ciencias, Universidade de Lisboa, Portugal) ,  Vasconcelos Vasco T. (LASIGE, Faculdade de Ciencias, Universidade de Lisboa, Portugal)
資料名： Theoretical Computer Science  (Theoretical Computer Science)
巻： 897  ページ： 23-48  発行年： 2022年 
JST資料番号： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： セッションタイプは通信チャネルの相互作用のパターンを記述する。従来のセッションタイプは,サーバがオプションの収集を提供する選択の形式を含み,各クライアントは正確に1つを選択する。混合選択は,サーバとクライアント(すなわち,外部と内部選択)の間の区別を,同じ選択で提供し,選択するオプションを可能にすることにより,ぼけをぼやす。セッションタイプの文脈において混合選択を導入し,それらが,同時に,それらが正確に1つまで同期化プリミティブの数を減らすと同時に,プログラム開発の柔軟性を増加させると主張する。サブタイピングを組込んだタイプシステムを提示し,よくタイプ化されたプロセスに対するランタイムエラーの保存と不在を証明した。さらに,古典的(従来)セッションは,混合選択に忠実かつ強固に組み込まれることができ,逆に,混合選択から古典的セッションへの最小符号化が存在することを示す。最後に,従来の(選択無し)メッセージパッシングアーキテクチャの上に構築されたアルゴリズム型検査とランタイムシステムについて議論する。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  相互作用 ,  柔軟性 ,  通信チャネル ,  *ロバスト性
準シソーラス用語： プログラム開発 ,  ランタイムシステム , 【Automatic Indexing@JST】

著者キーワード (3件)： タイプシステム ,  セッションタイプ ,  混合選択

分類 (1件)： 計算機網  (JC03000K)

タイトルに関連する用語 (1件)： セッション