| 講演名 | 1999/1/23 並行プロセスのチャネル名スコープの超格子表現 村上 昌己, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本稿ではπ計算と同様な並行プロセス代数の体系において、従来の名前制限の演算子に代わって、チャネル名の有効範囲を超格子上の区間で表現する方法を提案する.すなわち並行プロセスは、そのプロセスに含まれる範囲の制限された名前の数をn、プロセスの数をmとするとき、n次元空間上の一辺の長さがmの超立方体で表現される.各名前の有効範囲は、その超立方体を切断するn-1次元の超平面で区切られた領域により表現される.ここで提案する方法は、常にすべての名前の有効範囲を同時に陽に正確に示すことができる.したがって、従来の名前制限の演算子による表現のように、個々の名前ごとに有効範囲を調べるために構造等価な関係を用いて変形する必要がない.本稿では、この表現を用いた名前渡しを含むプロセスの表現方法を定義し、その表現方法を用いたラベル付き遷移システムを与えることによって、プロセスの操作的意味論を定義する. |
| 抄録(英) | This paper presents a method for representation of scopes of bounded channel names using regions on hyper lattices instead of existing restriction operation. A concurrent process is represented as an n dimensional hypercube such that the length of the edges is m where m is the number of processes and n is the number of local names. The notation presented here make possible to represent the scope of all bounded names explicitly and exactly at any moment.Then it is not necessary to transform using equations of structure congruence to see the scope of each name exactly as conventional representation that uses restriction operations. This paper presents the syntax of processes that is equipped with name passing features using the new scope notation. The operational semantics of the processes is defined by a labelled transition system on the new syntax. |
| キーワード(和) | π計算 / 名前束縛 / 超格子 |
| キーワード(英) | π-calculus / bound name / hyperlattice |
| 資料番号 | SS98-51 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 1999/1/23(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 並行プロセスのチャネル名スコープの超格子表現 |
| サブタイトル（和） | |
| タイトル（英） | Hyperlattice Representation for Scopes of Channel Names in Concurrent Processes |
| サブタイトル（和） | |
| キーワード(1)（和/英） | π計算 / π-calculus |
| キーワード(2)（和/英） | 名前束縛 / bound name |
| キーワード(3)（和/英） | 超格子 / hyperlattice |
| 第 1 著者 氏名（和/英） | 村上 昌己 / Masaki Murakami |
| 第 1 著者 所属（和/英） | 岡山大学工学部 Faculty of Engineering, Okayama University |
| 発表年月日 | 1999/1/23 |
| 資料番号 | SS98-51 |
| 巻番号（vol） | vol.98 |
| 号番号（no） | 559 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |