A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Interaction is a pervasive aspect of today's computation. Contemporary approaches to computational models, artificial intelligence, software engineering, programming languages, and networking are all interactive. However, a satisfactory unifying foundational framework for interactive computation, analogous to what Turing machines and the lambda-calculus provide for algorithms, is still lacking. The Workshop on the Foundations of Interactive Computation (FInCo 2005), held on Saturday, 9 Aprildoi:10.1016/j.entcs.2005.05.013 fatcat:hi6grcl2ejedrlkfiqknwqzkve