WEKO3
インデックスリンク
アイテム
Relating processes with real-time property（英文）
https://doi.org/10.15085/00000028
https://doi.org/10.15085/00000028da8da3cf-b947-49c7-887c-cfa2f4af9b21
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00004248988.pdf (3.7 MB)
|
|
| アイテムタイプ | [ELS]紀要論文 / Departmental Bulletin Paper(1) | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2004-03-31 | |||||||||||||||
| タイトル | ||||||||||||||||
| タイトル | Relating processes with real-time property（英文） | |||||||||||||||
| 言語 | ja | |||||||||||||||
| タイトル | ||||||||||||||||
| タイトル | Relating processes with real-time property | |||||||||||||||
| 言語 | en | |||||||||||||||
| 言語 | ||||||||||||||||
| 言語 | eng | |||||||||||||||
| 資源タイプ | ||||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||||||
| ID登録 | ||||||||||||||||
| ID登録 | 10.15085/00000028 | |||||||||||||||
| ID登録タイプ | JaLC | |||||||||||||||
| 雑誌書誌ID | ||||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||||
| 収録物識別子 | AA11345848 | |||||||||||||||
| 雑誌書誌ID | ||||||||||||||||
| 関連タイプ | isPartOf | |||||||||||||||
| 識別子タイプ | ISSN | |||||||||||||||
| 関連識別子 | 1344-607X | |||||||||||||||
| 言語 | ja | |||||||||||||||
| 関連名称 | 宮城大学事業構想学部紀要 | |||||||||||||||
| 論文名よみ | ||||||||||||||||
| タイトル | Relating processes with real-time property | |||||||||||||||
| 著者 |
富樫, 敦
× 富樫, 敦
× Kitamura, Takashi
|
|||||||||||||||
| 記事種別(日) | ||||||||||||||||
| 内容記述タイプ | Other | |||||||||||||||
| 内容記述 | 論文 | |||||||||||||||
| 記事種別(英) | ||||||||||||||||
| 内容記述タイプ | Other | |||||||||||||||
| 内容記述 | Article | |||||||||||||||
| 抄録(英) | ||||||||||||||||
| 内容記述タイプ | Other | |||||||||||||||
| 内容記述 | In this research, we consider some (bi)simulation-based relations of processes in timed process algebra(TPA), which reflect real-time property ; we attempt to reflect real-time property into the discussion of relating processes in TPA. To be more precise, we relate functionally identical processes with respect to real-time property. We discuss the issue on nTeCCS, which is one of timed process algebras. As a result, we propose six kinds of speed, hence six relations of processes that reflect real-time property in TPA. We also present the some properties of these relations, including congruence property of relations. We show that these relations are not congruent for nTeCCS, but congruent for all the operators of kTeCCS, whose semantics is slightly diverse from that of nTeCCS for the sake of congruence. We also show an example for those relations. | |||||||||||||||
| 書誌情報 |
ja : 宮城大学事業構想学部紀要 巻 6, p. 11-83 |
|||||||||||||||
| 表示順 | ||||||||||||||||
| 内容記述タイプ | Other | |||||||||||||||
| 内容記述 | 6 | |||||||||||||||
| アクセション番号 | ||||||||||||||||
| 内容記述タイプ | Other | |||||||||||||||
| 内容記述 | KJ00004248988 | |||||||||||||||
