Agent language NUML and its reduction implementation model based on HOπ
Manwu Xu, Jianfeng Lu, Fancong Zeng, Jingwen Dai · ACM SIGPLAN Notices · 1994
Higher--order π--calculus(HOπ)[3.4.6]] is a computation model with sufficient computation capability. It is suitable to describe the concurrency in computation. In this paper, the agent language NUML which is designed to describe DAI (distributed artificial intelligence) systems is presented; also its semantics in HOπ is given and finalliy a reduction implementation model of NUML based on HOπ is submitted.