Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Concurrent interaction games Samson Abramsky

Summary: Concurrent interaction games
Samson Abramsky
1 A question and a challenge
Our starting point will be a question and a challenge posed by Tony Hoare
in [Hoare99]. The question:
Is game semantics inherently sequential?
and the challenge:
If this is not the case, then it would be nice to obtain a top­down
extensional characterization of sequentiality within a model that is
non­sequential. ...A full explanation of the concept of sequentiality
must surely give equal weight to the alternative.
As we will see, some recent work with Paul­André Melliès [AM99] is directly
relevant to these issues.
2 Background: Why Games?
Firstly, though, we should provide some context for these questions, and why
they are of interest in the first place.
As Information Technology has progressed from batch processing through
multi­tasking operating systems to distributed systems and on to today's In­
ternet, the focus has correspondingly shifted, from stand­alone programs to
systems, and from computation to interaction. The ``first­generation'' models


Source: Abramsky, Samson - Computing Laboratory, University of Oxford


Collections: Computer Technologies and Information Sciences