{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00059917","sets":["5471:5520:5522"]},"path":["5522"],"owner":"1","recid":"59917","title":["A New Synchronization Mechanism called \"Forcing Expression\" and its Implementation"],"pubdate":{"attribute_name":"公開日","attribute_value":"1983-11-20"},"_buckets":{"deposit":"200feb32-53f8-4951-885c-c580ddb2a638"},"_deposit":{"id":"59917","pid":{"type":"depid","value":"59917","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"A New Synchronization Mechanism called \"Forcing Expression\" and its Implementation","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"A New Synchronization Mechanism called \"Forcing Expression\" and its Implementation"},{"subitem_title":"A New Synchronization Mechanism called \"Forcing Expression\" and its Implementation","subitem_title_language":"en"}]},"item_type_id":"5","publish_date":"1983-11-20","item_5_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"Department of mathematics  Waseda University"}]},"item_5_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Department of mathematics, Waseda University","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/59917/files/IPSJ-JIP0603003.pdf"},"date":[{"dateType":"Available","dateValue":"1985-11-20"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-JIP0603003.pdf","filesize":[{"value":"813.7 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"0","billingrole":"5"},{"tax":["include_tax"],"price":"0","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"9b260e66-d92b-4946-9012-e4a42d6382eb","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1983 by the Information Processing Society of Japan"}]},"item_5_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Kiyoshi, Segawa"}],"nameIdentifiers":[{}]}]},"item_5_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Kiyoshi, Segawa","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_5_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA00700121","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_5_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-6652","subitem_source_identifier_type":"ISSN"}]},"item_5_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"A new synchronization mechanism -forcing expression- is proposed. Forcing expressions describe the behavior of critical sections by denoting the allowable combinations of processes and data concerning the sections. and cooperation problems can be treated equally be forcing expressions. Forcing expressions are high level synchronbation mechanisms  but can be implemented by simpler synchronization primitives such as .binary semaphore  cause/await and enq/deq operations. The definition and the implementation details of forcing expressions are described.","subitem_description_type":"Other"}]},"item_5_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"A new synchronization mechanism -forcing expression- is proposed. Forcing expressions describe the behavior of critical sections by denoting the allowable combinations of processes and data concerning the sections. and cooperation problems can be treated equally be forcing expressions. Forcing expressions are high level synchronbation mechanisms, but can be implemented by simpler synchronization primitives such as .binary semaphore, cause/await and enq/deq operations. The definition and the implementation details of forcing expressions are described.","subitem_description_type":"Other"}]},"item_5_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"147","bibliographic_titles":[{"bibliographic_title":"Journal of Information Processing "}],"bibliographicPageStart":"141","bibliographicIssueDates":{"bibliographicIssueDate":"1983-11-20","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"3","bibliographicVolumeNumber":"6"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"id":59917,"updated":"2025-01-22T03:22:19.462647+00:00","links":{},"created":"2025-01-18T23:22:35.486137+00:00"}