{"created":"2023-05-15T11:41:18.344794+00:00","id":36,"links":{},"metadata":{"_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":["14:16: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":[{}]},{"creatorNames":[{"creatorName":"Kitamura, Takashi"},{"creatorName":"Kitamura, Takashi","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-02-12"}],"displaytype":"detail","filename":"KJ00004248988.pdf","filesize":[{"value":"3.7 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2004-03-31"},"publish_date":"2004-03-31","publish_status":"0","recid":"36","relation_version_is_last":true,"title":["Relating processes with real-time property（英文）"],"weko_creator_id":"10","weko_shared_id":-1},"updated":"2023-06-26T06:28:53.560316+00:00"}