{"created":"2023-06-19T11:37:34.028253+00:00","id":4923,"links":{},"metadata":{"_buckets":{"deposit":"cb41351a-7bee-49dc-af52-69fc10b69648"},"_deposit":{"created_by":13,"id":"4923","owners":[13],"pid":{"revision_id":0,"type":"depid","value":"4923"},"status":"published"},"_oai":{"id":"oai:mie-u.repo.nii.ac.jp:00004923","sets":["366:367:368:384"]},"author_link":["10477","10478","10479"],"item_4_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1991-12-20","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"88","bibliographicPageStart":"79","bibliographicVolumeNumber":"16","bibliographic_titles":[{"bibliographic_title":"Research reports of the Faculty of Engineering, Mie University"}]}]},"item_4_description_14":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_4_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"We have designed a programming language for parallel processing which have the following fundamental facilities : parallel execution, asychronously communication with channels, nondeterministic selection, dynamic creation of processes, etc. And we have presented a simple and highly abstract denotational semantics for this language.","subitem_description_type":"Abstract"}]},"item_4_publisher_30":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"Faculty of Engineering, Mie University"}]},"item_4_source_id_7":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0385-6208","subitem_source_identifier_type":"PISSN"}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA00816341","subitem_source_identifier_type":"NCID"}]},"item_4_text_18":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_text_language":"ja","subitem_text_value":"プロセス間通信に基づく並列処理言語の表示的意味記述について"}]},"item_4_text_65":{"attribute_name":"資源タイプ（三重大）","attribute_value_mlt":[{"subitem_text_value":"Departmental Bulletin Paper / 紀要論文"}]},"item_4_version_type_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Nasu, Takashi","creatorNameLang":"en"},{"creatorName":"那須, 隆","creatorNameLang":"ja"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Oyamaguchi, Michio","creatorNameLang":"en"},{"creatorName":"大山口, 通夫","creatorNameLang":"ja"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Ohta, Yoshikatsu","creatorNameLang":"en"},{"creatorName":"太田, 義勝","creatorNameLang":"ja"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-02-18"}],"displaytype":"detail","filename":"AA008163410160010.PDF","filesize":[{"value":"621.6 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"AA008163410160010.PDF","url":"https://mie-u.repo.nii.ac.jp/record/4923/files/AA008163410160010.PDF"},"version_id":"de363944-75d6-43a7-aa1b-325a2e90f12f"}]},"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":"Denotational Semantics of a Language for Asynchronously Communicating Processes","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Denotational Semantics of a Language for Asynchronously Communicating Processes","subitem_title_language":"en"}]},"item_type_id":"4","owner":"13","path":["384"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2007-07-02"},"publish_date":"2007-07-02","publish_status":"0","recid":"4923","relation_version_is_last":true,"title":["Denotational Semantics of a Language for Asynchronously Communicating Processes"],"weko_creator_id":"13","weko_shared_id":-1},"updated":"2023-10-05T05:32:16.640966+00:00"}