彼得·韦格纳;迪娜·戈尔丁 有限计算代理的共创模型。 (英语) Zbl 0918.68023号 Jacobs,Bart(编辑)等人,CMCS’99。计算机科学中的协代数方法第二次研讨会论文集。欧洲软件理论与实践联合会议(ETAPS'99)的卫星活动。荷兰阿姆斯特丹,1999年3月20日至21日。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。19,电子文件第7号(1999年)。 摘要:本文探讨了共聚方法在有限交互计算代理建模中的作用。计算代理从算法到交互的计算扩展与集合论和代数从归纳模型到共归纳模型的数学扩展并行。最大不动点在与归纳数学中的最小不动点平行的观察模型中起着作用。研究了互动(共创)模型对Church论文的影响,以及不完整性和更高表达性之间的联系。最后一节显示了实际的软件系统是交互式的,而不是算法性的。随着计算机应用程序的交互性越来越强,共导模型对于软件技术来说可能与归纳模型一样重要。关于整个系列,请参见[Zbl 0916.00017号]。 引用于2文件 MSC公司: 2005年第68季度 计算模型(图灵机等)(MSC2010) 2010年第68季度 计算模式(非确定性、并行、交互式、概率性等) 关键词:共导模型 PDF格式BibTeX公司 XML格式引用 \textit{P.Wegner}和\textit{D.Goldin},in:CMCS`99。计算机科学中的协代数方法第二次研讨会论文集。欧洲软件理论与实践联合会议(ETAPS`99)的卫星活动。荷兰阿姆斯特丹,1999年3月20日至21日。阿姆斯特丹:爱思唯尔。第7号电子文件(1999;Zbl 0918.68023) 全文: 链接