WEKO3
インデックスリンク
アイテム
{"_buckets": {"deposit": "41d3d90c-abdc-4750-874e-1e7077c8e410"}, "_deposit": {"created_by": 10, "id": "36", "owners": [10], "pid": {"revision_id": 0, "type": "depid", "value": "36"}, "status": "published"}, "_oai": {"id": "oai:myu.repo.nii.ac.jp:00000036", "sets": ["42"]}, "author_link": ["174", "1707"], "item_3_biblio_info_12": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicPageEnd": "83", "bibliographicPageStart": "11", "bibliographicVolumeNumber": "6", "bibliographic_titles": [{"bibliographic_title": "宮城大学事業構想学部紀要", "bibliographic_titleLang": "ja"}]}]}, "item_3_description_11": {"attribute_name": "抄録(英)", "attribute_value_mlt": [{"subitem_description": "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.", "subitem_description_type": "Other"}]}, "item_3_description_15": {"attribute_name": "表示順", "attribute_value_mlt": [{"subitem_description": "6", "subitem_description_type": "Other"}]}, "item_3_description_16": {"attribute_name": "アクセション番号", "attribute_value_mlt": [{"subitem_description": "KJ00004248988", "subitem_description_type": "Other"}]}, "item_3_description_8": {"attribute_name": "記事種別(日)", "attribute_value_mlt": [{"subitem_description": "論文", "subitem_description_type": "Other"}]}, "item_3_description_9": {"attribute_name": "記事種別(英)", "attribute_value_mlt": [{"subitem_description": "Article", "subitem_description_type": "Other"}]}, "item_3_identifier_registration": {"attribute_name": "ID登録", "attribute_value_mlt": [{"subitem_identifier_reg_text": "10.15085/00000028", "subitem_identifier_reg_type": "JaLC"}]}, "item_3_relation_1": {"attribute_name": "雑誌書誌ID", "attribute_value_mlt": [{"subitem_relation_name": [{"subitem_relation_name_language": "ja", "subitem_relation_name_text": "宮城大学事業構想学部紀要"}], "subitem_relation_type": "isPartOf", "subitem_relation_type_id": {"subitem_relation_type_id_text": "1344-607X", "subitem_relation_type_select": "ISSN"}}]}, "item_3_source_id_1": {"attribute_name": "雑誌書誌ID", "attribute_value_mlt": [{"subitem_source_identifier": "AA11345848", "subitem_source_identifier_type": "NCID"}]}, "item_3_title_3": {"attribute_name": "論文名よみ", "attribute_value_mlt": [{"subitem_title": "Relating processes with real-time property"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "富樫, 敦", "creatorNameLang": "ja"}, {"creatorName": "トガシ, アツシ", "creatorNameLang": "ja-Kana"}, {"creatorName": "Togashi, Atsushi", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "174", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Kitamura, Takashi"}, {"creatorName": "Kitamura, Takashi", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "1707", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-02-12"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "KJ00004248988.pdf", "filesize": [{"value": "3.7 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 3700000.0, "url": {"label": "KJ00004248988.pdf", "url": "https://myu.repo.nii.ac.jp/record/36/files/KJ00004248988.pdf"}, "version_id": "2b2fbce4-c1c2-48c6-88a7-a7161879e771"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "departmental bulletin paper", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "Relating processes with real-time property(英文)", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Relating processes with real-time property(英文)", "subitem_title_language": "ja"}, {"subitem_title": "Relating processes with real-time property", "subitem_title_language": "en"}]}, "item_type_id": "3", "owner": "10", "path": ["42"], "permalink_uri": "https://doi.org/10.15085/00000028", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2004-03-31"}, "publish_date": "2004-03-31", "publish_status": "0", "recid": "36", "relation": {}, "relation_version_is_last": true, "title": ["Relating processes with real-time property(英文)"], "weko_shared_id": -1}
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)
|
|
Item type | [ELS]紀要論文 / Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2004-03-31 | |||||
タイトル | ||||||
言語 | ja | |||||
タイトル | Relating processes with real-time property(英文) | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Relating processes with real-time property | |||||
言語 | ||||||
言語 | 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 |