@phdthesis{oai:nitech.repo.nii.ac.jp:00002799,
 author = {Iwata, Kazunori},
 month = {2016-12-23},
 note = {主査：石井　直宏},
 school = {名古屋工業大学},
 title = {Studies on Applying π-Calculus to Formalizing Multi-Agent Systems},
 year = {}
}