@techreport{weko_36130_1, author = "滝沢,誠 and 宮島,勝己", title = "分散型チェックポイントと後戻り復旧", year = "1989", institution = "東京電機大学工学部, 東京電機大学工学部", number = "82(1989-DPS-043)", month = "sep" }