From CSP to Game Semantics

In this short essay, we describe in informal terms how game semantics can be seen to arise as a perturbation of process calculi such as CSP, by making an explicit distinction between the rôles of the System and the Environment. Drawing out the consequences of this distinction uncovers a wealth of ma...

Full description

Saved in:
Bibliographic Details
Published inReflections on the Work of C.A.R. Hoare pp. 33 - 45
Main Author Abramsky, Samson
Format Book Chapter
LanguageEnglish
Published London Springer London 21.07.2010
Subjects
Cartesian Closed Category
Deterministic Computation
Game Semantic
Process Calculus
Semantic Construction
Online AccessGet full text
ISBN1848829116
9781848829114
DOI10.1007/978-1-84882-912-1_2

Cover

More Information
Summary:In this short essay, we describe in informal terms how game semantics can be seen to arise as a perturbation of process calculi such as CSP, by making an explicit distinction between the rôles of the System and the Environment. Drawing out the consequences of this distinction uncovers a wealth of mathematical structure, with Game intuitions entering in a natural and compelling fashion. This leads ultimately to the elaboration of mathematically well-structured and behaviourally expressive semantic universes for computation. These provide a basis for fully abstract models of a wide range of programming languages, and lead on to algorithmic methods, with applications to compositional model-checking and program analysis.
ISBN:1848829116
9781848829114
DOI:10.1007/978-1-84882-912-1_2