The Semantics Subsystem in Distributed OS Formalization Generating System.
Yanxiang HeJianping ZhangDonald H. CooleyLi ChenPublished in: ACM SIGOPS Oper. Syst. Rev. (1997)
Keyphrases
- distributed systems
- operating system
- logical language
- operational semantics
- cooperative
- formal semantics
- multi agent
- open source
- distributed environment
- mobile agents
- agent communication language
- distributed network
- communication cost
- virtual machine
- lightweight
- neural network
- logic programming
- peer to peer
- multi agent systems
- distributed data
- case study
- generation process
- communication overhead
- knowledge base
- real time
- database