Theory of interaction

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.