上一篇: 基于政策自组织系统的软件agent体系结构及其实现
下一篇: 具有程序的静态结构和动态行为语义的时序逻辑