Agent language NUML and its reduction implementation model based on HO&pgr;

  • Authors:

  • Xu Manwu;Lu Jianfeng;Zeng Fancong;Dai Jingwen

  • Affiliations:

  • Dept. of Computer Science, Nanjing University, Nanjing, 210008, P. R. China, National Key Labratory of Software Engineering, Wuhan University. Wuhan, 430072, P. R. China;Dept. of Computer Science, Nanjing University, Nanjing, 210008, P. R. China, National Key Labratory of Software Engineering, Wuhan University. Wuhan, 430072, P. R. China;Dept. of Computer Science, Nanjing University, Nanjing, 210008, P. R. China, National Key Labratory of Software Engineering, Wuhan University. Wuhan, 430072, P. R. China;Dept. of Computer Science, Nanjing University, Nanjing, 210008, P. R. China, National Key Labratory of Software Engineering, Wuhan University. Wuhan, 430072, P. R. China

  • Venue:
  • ACM SIGPLAN Notices
  • Year:
  • 1994

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.