Mamei,M.,Menezes,R.,Tolksdorf,R.,Zambonelli,F.:计算机科学中自组织的案例研究。系统架构期刊。 52, 443–460 (2006)
第条 谷歌学者
Dignum,V.,Dignom,F.:《理解组织一致性:形式模型和仿真框架》,摘自:美国诺福克(2007年3月)《Agent-Directed simulation Symposium(ADS 2007)会议记录》
谷歌学者
Dignum,V.、Dignum、F.:代理组织的逻辑。摘自:《多智能体系统形式化方法研讨会论文集》,达勒姆,2007年9月3日至7日
谷歌学者
Hoogendoorn,M.,Schut,M.C.,Treur,J.:蜜蜂社会中分散的组织变革建模。收录人:Almeida e Costa,F.、Rocha,L.M.、Costa、e.、Harvey,I.、Coutinho,A.(编辑)ECAL 2007。LNCS(LNAI),第4648卷,第615-624页。斯普林格,海德堡(2007)
第章 谷歌学者
Charrier,R.,Bourjot,C.,Charpillet,F.:具有逻辑多智能体系统的蚂蚁算法的确定性非线性建模。摘自:第六届国际自治代理和多代理系统联合会议记录(AAMAS 2007)。ACM,纽约(2007)
谷歌学者
Matson,E.,DeLoach,S.:代理组织中的正式过渡。摘自:《知识密集型多智能体系统集成国际会议论文集》,第235-240页(2005年)
谷歌学者
DeLoach,S.A.:基于工程组织的多代理系统。收录:Garcia,A.,Choren,R.,Lucena,C.,Giorgini,P.,Holvoet,T.,Romanovsky,A.(编辑)SELMAS 2005。LNCS,第3914卷,第109-125页。斯普林格,海德堡(2006)
第章 谷歌学者
dInverno,M,Luck,M,Georgeff,M,Kinny,D,Wooldridge,M:dMARS体系结构:分布式多智能体推理系统的规范。自治代理和多代理系统9、5–53(2004)
第条 谷歌学者
Rabinovich,Z.,Rosenschein,J.S.:基于动力学的控制:结构。In:不确定领域中的多智能体顺序决策研讨会,第五届自治智能体和多智能体系统国际联合会议,日本箱根,第148-161页(2006)
谷歌学者
Luck,M.,d'Inverno,M.:形式方法和基于代理的系统。收录:Rouff,C.、Truszkowski,M.H.J.R.J.、Gordon-Spears,D.(编辑)《NASA系统和软件工程专著》,海德堡斯普林格出版社(2006)
谷歌学者
Fisher,M.,Wooldridge,M.:关于多智能体系统的形式化规范和验证。《国际合作信息系统杂志》6,37–65(1997)
第条 谷歌学者
Hilaire,V.,Koukam,A.,Gruer,P.,Müller,J.P.:多智能体系统的形式化规范和原型。收录人:Omicini,A.,Tolksdorf,R.,Zambonelli,F.(编辑)《2000年环境与社会保障法案》。LNCS(LNAI),第1972卷,第114-127页。斯普林格,海德堡(2000)
第章 谷歌学者
Odell,J.,Parunak,H.V.D.,Bauer,B.:为代理扩展UML。摘自:第17届全国人工智能会议面向Agent的信息系统研讨会论文集,第3-17页(2000)
谷歌学者
Ferber,J.,Gutknecht,O.,Michel,F.:从代理到组织:多代理系统的组织观点。收录人:Giorgini,P.、Müller,J.P.、Odell,J.J.(编辑)AOSE 2003。LNCS,第2935卷,第214-230页。斯普林格,海德堡(2004)
谷歌学者
Gutknecht,O.,Ferber,J.:MadKit:通用多代理平台。In:程序。第四届国际自治机构会议,第78-79页(2000年)
谷歌学者
Chopra,A.K.、Mallya,A.U.、Desai,N.V.、Singh,M.P.:为灵活的业务流程建模。In:AAMAS 2004(2004)
谷歌学者
Krishna,S.N.,Păun,G.:具有移动膜的P系统。自然计算:国际期刊4255-274(2005)
第条 数学科学网 数学 谷歌学者
Cardelli,L.,Gordon,A.D.:移动环境。收录:Nivat,M.(编辑)FOSSACS 1998。LNCS,第1378卷,第140-155页。斯普林格,海德堡(1998)
第章 谷歌学者
Milner,R.,Parrow,J.,Walker,D.:移动过程的微积分I.信息与计算100,1-40(1992)
第条 数学科学网 数学 谷歌学者
鲍恩,G.:用膜计算。《计算机与系统科学杂志》61,108–143(2000);自1998年以来,还作为TUCS报告分发
第条 数学科学网 数学 谷歌学者
Banatre,J.,Le Metayer,D.:伽马模型及其编程学科。计算机程序设计科学15,55–77(1990)
第条 数学科学网 数学 谷歌学者
Berry,G.,Boudol,G.:化学抽象机。《理论计算机科学杂志》96,217–248(1992)
第条 数学科学网 数学 谷歌学者
Rouf,C.、Vanderbilt,A.、Truszkowski,W.、Rash,J.、Hinchey,M.:NASA应急系统的验证。摘自:第九届IEEE复杂计算机系统工程国际会议论文集(ICECCS 2004),第231–238页(2004)
谷歌学者
Stamatopoulou,I.,Kefalas,P.,Gheorghe,M.:生物状态系统动态结构建模。生物系统87、142–149(2007)
第条 谷歌学者
Kefalas,P.,Stamatopoulou,I.,Gheorghe,M.:开发具有动态结构和行为的多智能体系统的正式建模框架。收录于:Pěchouček,M.,Petta,P.,Varga,L.Z.(编辑)CEEMAS 2005。LNCS(LNAI),第3690卷,第122–131页。斯普林格,海德堡(2005)
第章 谷歌学者
Stamatopoulou,I.,Kefalas,P.,Gheorghe,M.:可重构MAS规范:一种混合形式化方法。收录:Antoniou,G.、Potamias,G.,Spyropoulos,C.、Plexousakis,D.(编辑)SETN 2006。LNCS(LNAI),第3955卷,第592-595页。斯普林格,海德堡(2006)
第章 谷歌学者
Stamatopoulou,I.,Kefalas,P.,Gheorghe,M.:歌剧院
科科斯群岛
:基于人口P系统的MAS建模正式框架实例。收录人:Eleftherakis,G.、Kefalas,P.、Pun,G.,Rozenberg,G..、Salomaa,A.(编辑)WMC 2007。LNCS,第4860卷,第551-566页。斯普林格,海德堡(2007)
第章 谷歌学者
艾伦伯格,S.:自动化,语言和机器。伦敦学术出版社(1974)
数学 谷歌学者
Kefalas,P.,Eleftherakis,G.,Kehris,E.:通信X机器:大型系统正式和模块化规范的实用方法。《信息与软件技术杂志》45,269–280(2003)
第条 谷歌学者
Eleftherakis,G.:X机器模型的形式验证:面向计算机系统的形式化开发。谢菲尔德大学计算机科学系博士论文(2003年)
谷歌学者
Holcombe,M.,Ipate,F.:正确的系统:构建业务流程解决方案。施普林格,伦敦(1998)
数学 谷歌学者
Bernandini,F.,Gheorghe,M.:人口P系统。《通用计算机科学杂志》10,509–539(2004)
谷歌学者
Kefalas,P.,Eleftherakis,G.,Holcombe,M.,Stamatopoulou,I.:受生物学启发的基于代理的系统的动态行为的正式建模。在:Gheorghe,M.(编辑)《分子计算模型:非常规方法》,第243–276页。Idea Publishing Inc.(2005)
谷歌学者
Rouff,C.,Vanderbilt,A.,Hinchey,M.,Truszkowski,W.,Rash,J.:预测基于群的系统中紧急行为的形式化方法的属性。摘自:第二届软件工程与形式化方法国际会议论文集,第24-33页(2004)
谷歌学者
Kefalas,P.,Stamatopoulou,I.,Gheorghe,M.:将X机器通信转换为人口P系统的原则。摘自:细胞和分子计算自动机国际研讨会论文集(ACMC 2007)(2007);也将出现在《国际计算机科学基础杂志》上
谷歌学者