Theory of interaction
Theory of interaction
复制标题
DOI：
10.1016/j.tcs.2015.07.043
复制
发表时间：
2016-01
期刊：
影响因子：
--
通讯作者：
Yuxi Fu
中科院分区：
文献类型：
--
作者：
Yuxi Fu
交互作用理论旨在为计算和交互提供一个基本的框架。它提出了四个基本原则，这些原则表征了所有计算和交互模型的共同特征。这些原则足以支持独立于模型处理计算机科学中两个最重要的关系，即进程之间的平等和模型之间的相对表现力。在这两个关系的基础上，发展了平等理论、表达理论和完备性理论。
Theory of Interaction aims to provide a foundational framework for computation and interaction. It proposes four fundamental principles that characterize the common features of all models of computation and interaction. These principles suffice to support a model independent treatment of the two most important relationships in computer science, the equality between processes and the relative expressiveness between models. Based on the two relationships the theory of equality, the theory of expressiveness and the theory of completeness are developed.