文献

J-GLOBAL ID：201902252152558589   整理番号：19A2276746

高次セッション過程の相対表現性について【JST・京大機械翻訳】

On the relative expressiveness of higher-order session processes

著者 (3件)： Kouzapas Dimitrios (University of Cyprus, Nicosia, Cyprus) ,  Perez Jorge A. (University of Groningen & CWI, Amsterdam, the Netherlands) ,  Yoshida Nobuko (Imperial College London, UK)
資料名： Information and Computation  (Information and Computation)
巻： 268  ページ： Null  発行年： 2019年 
JST資料番号： D0449A  ISSN： 0890-5401  CODEN： INFCEC  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： λ-計算とπ-計算から構築物を統合することにより,高次プロセス計算では,交換値はプロセスを含む可能性がある。本論文では,通信がセッション型によって支配される高次π計算であるHOπの相対的表現性を研究した。著者らの主な発見は,name通過と再帰を欠いているHOπのサブ計算であるHOが,セッション型高次同時性のための新しいコア計算として役立つことができるということである。HOは,一次セッションπ-計算(π)よりも,より正確かつ効率的に,HOπを完全に抽象的に(タイプ化された文脈的等価性まで)符号化できることを示した。全体として,セッション型の分野の下で,HOπ,HO,およびπは等しく表現される。しかし,HOπはπよりもHOに強く関連していることを示した。Copyright 2019 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 等価性 ,  *同時性
準シソーラス用語： *表現力 , 【Automatic Indexing@JST】

著者キーワード (5件)： 並行性 ,  プロセス計算 ,  行動型 ,  セッションタイプ ,  表現力

分類 (1件)： オートマトン理論  (JB04000O)

タイトルに関連する用語 (3件)： セッション ,  過程 ,  表現性