Computability in Europe 2008
Logic and Theory of Algorithms

Regular Talk:
Introducing Service Schemes and Systems Organization in the Theory of Interactive Computation

Edit abstract data

Author(s):	Antonio Carlos Costa and Graçaliz Dimuro
Slot:	Fri, 11:20-11:40, Room 24 (col. 3)

Abstract

This paper introduces the notion of "service scheme" to allow for a
formal approach to the study of the realizability of "services" by
"interactive systems". It shows how the  organization-theoretic
conceptual framework required by the notion of system service can be formally
introduced in the Theory of Interactive Computation,
and shows simple examples of its application. It then proposes that the
fundamental problem of the Theory of Interactive Computation is the problem of
the formal characterization of the class of all "computable service
schemes", i.e., the formal characterization of the class of all service
schemes realizable by interactive computational means.