@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00007701,
 author = {Aurelio, Akira-Mello Matsui},
 month = {Sep},
 note = {学位の種別: 課程博士, 審査委員会委員 : (主査)東京大学教授 相田 仁, 東京大学教授 伊庭 斉志, 東京大学准教授 佐藤 周行, 東京大学准教授 田浦 健次朗, 東京大学准教授 小川 剛史, 東京大学准教授 近山 隆},
 title = {A Contract-based Programming Model for Distributed Computing},
 year = {2014}
}