zbMATH — the first resource for mathematics

Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005. (English) Zbl 1273.68034
Electronic Notes in Theoretical Computer Science 141, No. 5. Amsterdam: Elsevier. 198 p., electronic only (2005).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
da Rocha Costa, Antônio Carlos; Pereira Dimuro, Graçaliz, Interactive computation: stepping stone in the pathway from classical to developmental computation, 5-31 [Zbl 1276.68070]
Johnson, Mark W.; McBurney, Peter; Parsons, Simon, A mathematical model of dialog, 33-48 [Zbl 1276.68151]
Meredith, L. G.; Radestock, Matthias, A reflective higher-order calculus, 49-67 [Zbl 1276.68124]
Motus, Leo; Meriste, Merik; Dosch, Walter, Time-awareness and proactivity in models of interactive computation, 69-95 [Zbl 1276.68073]
Walker, Nigel; Wennink, Marc, Interactions in transport networks, 97-114 [Zbl 1276.90014]
Mason, Ian A.; Talcott, Carolyn L., Actors and logical analysis of interactive systems, 115-133 [Zbl 1276.68078]
Boella, Guido; Hulstijn, Joris; van der Torre, Leendert, Interaction in normative multi-agent systems, 135-162 [Zbl 1276.68149]
Keil, David; Goldin, Dina, Adaptation and evolution in dynamic persistent environments, 163-179 [Zbl 1276.68072]

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q05 Models of computation (Turing machines, etc.) (MSC2010)
00B25 Proceedings of conferences of miscellaneous specific interest
Full Text: Link