卢卡·卡德利 实时代理。 (英语) Zbl 0493.68017号 自动化,语言和编程,第九学院,奥胡斯/丹麦。1982年,Lect。票据计算。科学。140, 94-106 (1982). 页码:24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于7文件 MSC公司: 68N25号 操作系统理论 关键词:并发;通信系统演算;并发进程;同步离散相互作用;密集时域;无界-非确定性算子;连续相互作用;时间信息;代理人行为;agent的形式操作语义;在时间间隔内观察实时系统;连续二进制信号 引文:Zbl 0477.00027号;Zbl 0452.68027号 PDF格式BibTeX公司 XML格式