{"_buckets": {"deposit": "30a0fc45-d8a9-4513-89bf-7676ece4c687"}, "_deposit": {"id": "8662", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "8662"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00008662", "sets": ["1038"]}, "author_link": ["24370", "24371", "24372", "24373"], "item_18_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2006-12", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "160", "bibliographicPageStart": "153", "bibliographic_titles": [{"bibliographic_title": "4th Symposium on \"Intelligent Media Integration for Social Information Infrastructure\" December 7-8, 2006", "bibliographic_titleLang": "en"}]}]}, "item_18_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "We have been investigating communicating processes, where the primitive computation is synchronous communication between processes. A process is a \"black box\" to be identified only by observing communications with the environment. Various behavioral characterizations of communicating processes have been studied over the last couple of decades. The model is good for realizing concurrent behavior of network software. We realize the behavior of concurrent software based on equivalences as the fundamental semantics of programming languages with concurrent features. During the period of the COE project, we have investigated the following topics with the aime of improving the reliability of network software. (1)A meta algebraic framework defined by SOS(Structural Operational Semantics) for timed process calculi; (2)Web application modeling; (3)user interface behavioral modeling; (4)timed extension of a mobile calculus; (5)a network framework for functional programming language Haskell; and (6)behavioral modeling for embedded systems.", "subitem_description_language": "en", "subitem_description_type": "Abstract"}]}, "item_18_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/10413"}]}, "item_18_publisher_32": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "INTELLIGENT MEDIA INTEGRATION  NAGOYA UNIVERSITY / COE", "subitem_publisher_language": "en"}]}, "item_18_select_15": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_18_text_14": {"attribute_name": "フォーマット", "attribute_value_mlt": [{"subitem_text_value": "application/pdf"}]}, "item_access_right": {"attribute_name": "アクセス権", "attribute_value_mlt": [{"subitem_access_right": "open access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_abf2"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Yuen, Shoji", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "24370", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Imai, Keigo", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "24371", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Suetsugu, Ryo", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "24372", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Agusa, Kiyoshi", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "24373", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-19"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "p153-160_A_formal_approach_to_reliablie_network_software.pdf", "filesize": [{"value": "565.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 565200.0, "url": {"label": "p153-160_A_formal_approach_to_reliablie_network_software.pdf", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/8662/files/p153-160_A_formal_approach_to_reliablie_network_software.pdf"}, "version_id": "86a0ab9a-92c1-4f68-8e9d-463fd8266908"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "conference paper", "resourceuri": "http://purl.org/coar/resource_type/c_5794"}]}, "item_title": "A FORMAL APPROACH TO RELIABLIE NETWORK SOFTWARE", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "A FORMAL APPROACH TO RELIABLIE NETWORK SOFTWARE", "subitem_title_language": "en"}]}, "item_type_id": "18", "owner": "1", "path": ["1038"], "permalink_uri": "http://hdl.handle.net/2237/10413", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2008-08-20"}, "publish_date": "2008-08-20", "publish_status": "0", "recid": "8662", "relation": {}, "relation_version_is_last": true, "title": ["A FORMAL APPROACH TO RELIABLIE NETWORK SOFTWARE"], "weko_shared_id": -1}