A game semantics of idealized CSP

Research output: Contribution to journalArticlepeer-review

19 Citations (SciVal)

Abstract

A games semantics is described for a typed functional language which includes primitives for parallel composition and for synchronous communication on private channels. The semantics is based on a category obtained by extending "Hyland-Ong games" with a representation of multiple threads of control using "concurrency pointers" which express a new kind of causality relation between moves. The semantics is proved to be fully abstract for "channel-free" types with respect to a may-and-must equivalence for the finitary fragment, and with respect to may-equivalence for the whole language, using factorization results to reduce definability to the sequential case.

Original languageEnglish
Pages (from-to)232-257
JournalElectronic Notes in Theoretical Computer Science
Volume45
DOIs
Publication statusPublished - Nov 2001

Fingerprint

Dive into the research topics of 'A game semantics of idealized CSP'. Together they form a unique fingerprint.

Cite this