WEKO3
アイテム
An Equational Relation for Ambient Calculus
https://ipsj.ixsq.nii.ac.jp/records/16921
https://ipsj.ixsq.nii.ac.jp/records/16921a5f64013-20f7-4ac3-8dfc-d51f344dbe6d
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO4109016.pdf (27.9 kB)
|
Copyright (c) 2000 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2000-11-15 | |||||||
| タイトル | ||||||||
| タイトル | An Equational Relation for Ambient Calculus | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | An Equational Relation for Ambient Calculus | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 発表概要 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| Research Fellow of the Japan Society for the Promotion of Science/Presently with Faculty of Science and Engineering Kinki University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Research Fellow of the Japan Society for the Promotion of Science/Presently with Faculty of Science and Engineering, Kinki University | ||||||||
| 著者名 |
Toru, Kato
× Toru, Kato
|
|||||||
| 著者名(英) |
Toru, Kato
× Toru, Kato
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Ambient calculus is a process algebra developed for describing mobile processes. Ambients represent the substance of movement and the field of the ambients themselves. Having this hierarchy it can model various kinds of mobile computation. Equational properties for ambient calculus were proposed regarding the names of ambients observed from environments. That equivalence relation however identifies the processes which have different properties. This paper proposes an equational relation for ambient calculus by which we can distinguish processes that the existing equivalence identifies. | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Ambient calculus is a process algebra developed for describing mobile processes. Ambients represent the substance of movement and the field of the ambients themselves. Having this hierarchy, it can model various kinds of mobile computation. Equational properties for ambient calculus were proposed regarding the names of ambients observed from environments. That equivalence relation, however, identifies the processes which have different properties. This paper proposes an equational relation for ambient calculus by which we can distinguish processes that the existing equivalence identifies. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 41, 号 SIG09(PRO8), p. 106-106, 発行日 2000-11-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
