Evaluation of the capability of interaction

Authors:
Xingwu Liu
Affiliations:
Institute of Computing Technology, Zhong Guan Cun, Haidian district, Beijing, China
Venue:
ACM SIGGROUP Bulletin - Special issue on community-based learning: explorations into theoretical groundings, empirical findings and computer support
Year:
2003

Citing 10
Cited 0

Hierarchical correctness proofs for distributed algorithms

PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Elements of interaction: Turing award lecture

Communications of the ACM
The topological structure of asynchronous computability

Journal of the ACM (JACM)
PI-Calculus: A Theory of Mobile Processes

PI-Calculus: A Theory of Mobile Processes
Computation beyond turing machines

Communications of the ACM - Digital rights management
Some complexity questions related to distributive computing(Preliminary Report)

STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
Mathematical Models of Interactive Computing

Mathematical Models of Interactive Computing
Persistence as a Form of Interaction

Persistence as a Form of Interaction
Algebraic spans

Mathematical Structures in Computer Science
Turing machines, transition systems, and interaction

Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis

Quantified Score

Hi-index	0.00

Visualization

Abstract

Interaction, as an important computing paradigm, is far beyond incremental technological development. Various models such as interaction machines and process algebras have been developed to help design and analyze interaction systems. However, little is reported on the computability theory of interaction, and the design and analysis still have to be performed in an ad hoc way. Hence, the question is: how to uniformly evaluate the power of interaction? Roughly, I plan to explore this question in three steps. The first is to find out a universal formal model for interaction. The second is to abstract the tasks of interaction. The third is to evaluate the capability of interaction in terms of the results of step 1 and 2. The anticipated result may be expressed as a hierarchy that extends Chomsky hierarchy from above. Possible application of the hierarchy is also presented.