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