@article{weko_60004_1, author = "Akinori,Yonezawa", title = "Specifying Software Systems with High Internal Concurrency Based on Actor Formalism", journal = "Journal of Information Processing ", year = "1980", volume = "2", number = "4", pages = "208--218", month = "feb" }