@techreport{oai:ipsj.ixsq.nii.ac.jp:00031476,
 author = {宮地, 利雄 and 片山, 卓也 and Toshio, Miyachi and Takuya, Katayama},
 issue = {35(1982-PRO-002)},
 month = {Oct},
 note = {Although functional programming language is attractive in point of naturaity and provability  lack of synchronization mechanisms for managing shared resources sets limits to its extensive utilization. In this report we propose a hierachical functional computation model for describing parallel systems. The nucleus of the model is harmony of the hierachy of pure the functions and the mechanism for synchronizing and exchanging data through a pair of communication ports. The mechanism  which we call 'rendezvous'  permits us to describe nondeterministic behaviours and synchronization on shared objects. Also as examples we describe some well-known synchronizing problems in our model., Although functional programming language is attractive in point of naturaity and provability, lack of synchronization mechanisms for managing shared resources sets limits to its extensive utilization. In this report we propose a hierachical functional computation model for describing parallel systems. The nucleus of the model is harmony of the hierachy of pure the functions and the mechanism for synchronizing and exchanging data through a pair of communication ports. The mechanism, which we call 'rendezvous', permits us to describe nondeterministic behaviours and synchronization on shared objects. Also as examples we describe some well-known synchronizing problems in our model.},
 title = {階層的関数型の並行計算モデル},
 year = {1982}
}