文献

J-GLOBAL ID：202202285970211247   整理番号：22A1091937

分散可能性について【JST・京大機械翻訳】

On distributability

著者 (3件)： Peters Kirstin (Technische Universitaet Darmstadt, Germany) ,  Nestmann Uwe (Technische Universitaet Berlin, Germany) ,  Schmitt Anna (Technische Universitaet Darmstadt, Germany)
資料名： Theoretical Computer Science  (Theoretical Computer Science)
巻： 913  ページ： 151-173  発行年： 2022年 
JST資料番号： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 計算のActorモデルは,最も成功した分散プログラミングプラットフォーム,ErlangおよびAkkaの設計のためのバックボーンである。それは,非同期メッセージパッシング(待ちからの送信者)とユニークなメッセージルーティング(ユニークなActorアドレスを用いて)を構築し,比較的簡単な分散実装を可能にする。Actorモデルは,OCamlコンポーネントの分散実装をサポートするJoCamlの根底にある計算のモデルとこれらの原理を共有する。本論文では,理論的地盤に関する2つのモデルの分配可能性を支持する。このために,著者らは,2つのモデルの本質として理解できるπ-計算の3つの精巧な変異体を研究した。3つの結石のどちらも,Petriネットの世界から知られている同期パターンを表現することができず,プロセス計算の分配性階層における1つの基準として使用されたことを示した。さらに,3つの結石間の3つの符号化を示し,それらがソースとターゲット項の間の分配性の程度を保存することを証明した。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 計算機プログラミング ,  *計算 ,  番地指定方式 ,  結石 ,  Petriネット ,  オブジェクト指向プログラミング ,  プロセス間交信
準シソーラス用語： メッセージパッシング ,  アドレス ,  分散プログラミング ,  送信者 , 【Automatic Indexing@JST】

著者キーワード (2件)： 同時性理論 ,  分散コンピューティング

分類 (5件)： ディジタル計算機方式一般  (JC02010O) ,  応用プログラミング言語  (JD03052Y) ,  システムプログラミング一般  (JD03010Y) ,  計算機システム開発  (JD02010R) ,  計算理論  (JB02000A)

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