A transmitting knowledge of calculus of processes
Zhongmin Qian, Zining Cao, Wang Jiandong · 2010
In MAS (Multi-Agent System), communicating among agents is an important characteristic as it's important in transmitting information among agents, recognizing the status changing, and scheduling and accomplishing cooperation tasks. Different from the research in the field of computer science or others, communicating is to transmit knowledge in MAS. The existed works about transmitting knowledge of communicating were seldom. This paper proposed a transmitting knowledge of calculus of processes based on Robin Milner's CCS and studied its semantic features. This work constructs a fundament for the further developing of MAS formal semantics.