@inproceedings{oai:kanazawa-u.repo.nii.ac.jp:00009881,
 author = {Nakamura, Masaki and El-Nashar, Alaa Ismail and Futatsugi, Kokichi},
 book = {Proceedings of the 8th Forum on Information Technology (FIT 2009), = 第 8 回情報科学技術フォーラム（FIT2009）講演論文集 分野 B：ソフトウェア},
 month = {Jan},
 note = {金沢大学理工研究域電子情報学系},
 pages = {85--92},
 publisher = {Proceedings of the 8th Forum on Information Technology (FIT 2009) = 第 8 回情報科学技術フォーラム（FIT2009）},
 title = {An algebraic specification of message passing programming languages},
 volume = {1},
 year = {2009}
}