“…In either case, however, to quote Miller [25 ] , "one is aiming at model- Various language structures have been proposed to implement desired interactions between processes. [3,6,10,11,12,14,16,18,29,32,34,36]. For our purpose, we can consider them to be models for representation of parallelism.…”