@techreport{weko_26369_1, author = "UcmuraJoe and 坂倉,隆史 and 菅,隆志", title = "MACHカーネルにおけるマルチプロセッサ同期機構の解析", year = "1991", institution = "三菱電機株式会社情報電子研究所, 三菱電機株式会社情報電子研究所, 三菱電機株式会社情報電子研究所", number = "63(1991-OS-051)", month = "jul" }