会议论文《基于Agent的分布式模型形式化语义描述》发表于2013年全国开放式分布与并行计算学术年会。该文探讨了如何利用Agent技术对分布式系统进行建模，并提出了一种形式化语义描述方法，以提高系统的可理解性和可验证性。研究有助于提升分布式系统的协调与通信效率，为相关领域的理论发展和实际应用提供了参考。
文档为pdf格式，0.5MB，总共6页。
举报
