并发成员系统程序设计语言环境下的机器人协同问题求解

本文首先提出并证明了模型世界下双机器人协同问题求解的难解性，然后介绍了已开发成功的支持多种特别是协同问题求解的并发成员系统程序设计语言ＭＳ－１在该问题领域的成功应用。