Agent language NUML and its reduction implementation model based on HO&pgr;
ACM SIGPLAN Notices
Hi-index | 0.00 |
Two semantics for a parallel object-oriented programming language are presented. One is a two-level transitional semantics in which the global behaviour of a system is derived directly from the possible actions of its constituent objects. The other is by translation into the pi-calculus. A close correspondence between the semantics is established.