卢博什·布里姆；莫西尔·Křetínsk \345]；Jean-Marie雅克；大卫·吉尔伯特 将多智能体系统建模为同步并发约束过程。 （英语） 兹比尔1076.68043 计算。通知。 21，第6期，565-590（2002）. 本文是作者在SOFSEM 2001年会议上发表的论文的扩展版本，并做了一些修改【Lect.Notes Compute.Sci.2234，201–210（2001；Zbl 1052.68635号)]. 其目的是为多智能体系统中直接交换和/或全球共享信息的规范提供Scc语言。该语言基于CPP（并发约束编程）范式，该范式经过修改，代理可以维护其本地私有存储，可以在其全局存储层次结构中共享（读/写）全局信息，并通过多方或握手与其他代理进行通信。审核人：Claudia Simionescu-Badea（维也纳） 引用于1文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68T01型 人工智能的一般主题 关键词：并发；合成语义；通信；多智能体系统；同步性；异步 引文：Zbl 0983.00059号；Zbl 1052.68635号 PDF格式BibTeX公司 XML格式引用 \textit{L.Brim}等人，计算。通知。21，第6号，565--590（2002；Zbl 1076.68043）