Readings in object-oriented database systems
Readings in object-oriented database systems
Operational and algebraic semantics of concurrent processes
Handbook of theoretical computer science (vol. B)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Information modeling: an object-oriented approach
Information modeling: an object-oriented approach
Tradeoffs between reasoning and modeling
Research directions in concurrent object-oriented programming
Why interaction is more powerful than algorithms
Communications of the ACM
Interactive foundations of computing
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Mathematical Models of Interactive Computing
Mathematical Models of Interactive Computing
Explicit Modeling of Influences, and of Their Absence, in Distributed Systems
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Evaluating real-time software specification languages
Computer Standards & Interfaces
Validating for Liveness in Hidden Adversary Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
The irreducibility of interactive to algorithmic computing requires fundamental questions concerning models of computation to be reexamined. This paper reviews single-stream and multiple-stream interaction machines, extensions of set theory and algebra for models of sequential interaction, and interactive extensions of the Turing test. It motivates the use of interactive models as a basis for applications to computer architecture, software engineering, and artificial intelligence.