WEKO3
アイテム
π計算に対する時間拡張と合同的性質
http://hdl.handle.net/2237/12738
http://hdl.handle.net/2237/12738d52d4c7c-e68c-477a-b526-e8165f9c5642
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2010-02-23 | |||||
タイトル | ||||||
タイトル | π計算に対する時間拡張と合同的性質 | |||||
言語 | ja | |||||
その他のタイトル | ||||||
その他のタイトル | Congruence Properties for a Timed Extension of the π-Calculus | |||||
言語 | en | |||||
著者 |
桑原, 寛明
× 桑原, 寛明× 結縁, 祥治× 阿草, 清滋 |
|||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
権利 | ||||||
言語 | en | |||||
権利情報 | Copyright 2006 IEICE | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | π計算 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 時間付きプロセス代数 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 合同性 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 実時間並行プログラム | |||||
抄録 | ||||||
内容記述 | 本論文では文献[1]に基づくπ計算の時間拡張において,等価関係と擬順序関係が合同的性質をもつ十分条件を示す.時間経過が含まれるため,等価関係である時間拡張された双模倣関係は一般的には合同性を満たさない.しかし,チャネル名を束縛する入力プレフィックス以外のコンテクストに対しては合同であることを示す.ハードリアルタイム性をモデル化するために,遅延時間順関係と呼ぶ順序関係を定義する.遅延時間順関係は同じ入出力動作を一方のプロセスが他方より早いタイミングで実行できることを表す.遅延時間順関係は入力プレフィックス以外のコンテクストに対し合同であるが,並行合成されるプロセスは時間経過によって変換しないプロセスに制限される.ネットワーク構成が動的に変化するストリーミングシステムを用いて時間付きπ計算による記述と遅延時間順関係の例を示す. | |||||
言語 | ja | |||||
内容記述タイプ | Abstract | |||||
出版者 | ||||||
言語 | ja | |||||
出版者 | 電子情報通信学会 | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源タイプresource | http://purl.org/coar/resource_type/c_6501 | |||||
タイプ | journal article | |||||
出版タイプ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
関連情報 | ||||||
関連タイプ | isVersionOf | |||||
識別子タイプ | URI | |||||
関連識別子 | http://www.ieice.org/jpn/trans_online/index.html | |||||
ISSN | ||||||
収録物識別子タイプ | PISSN | |||||
収録物識別子 | 1880-4535 | |||||
書誌情報 |
ja : 電子情報通信学会論文誌 巻 J89-D, 号 4, p. 632-641, 発行日 2006-04-01 |
|||||
フォーマット | ||||||
application/pdf | ||||||
著者版フラグ | ||||||
値 | publisher | |||||
URI | ||||||
識別子 | http://hdl.handle.net/2237/12738 | |||||
識別子タイプ | HDL | |||||
URI | ||||||
識別子 | http://www.ieice.org/jpn/trans_online/index.html | |||||
識別子タイプ | URI |