Synchronous game semantics via round abstraction

Authors:
Dan R. Ghica;Mohamed N. Menaa
Affiliations:
University of Birmingham, U.K.;University of Birmingham, U.K.
Venue:
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
Year:
2011

Citing 13
Cited 1

The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
Syntactic control of interference revisited

Theoretical Computer Science - Special issue on mathematical foundations of programming semantics
Reactive Modules

Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
On full abstraction for PCF: I, II, and III

Information and Computation
Full abstraction for PCF

Information and Computation
Syntactic control of interference

POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Fully Abstract Relational Model of Syntactic Control of Interference

CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Syntactic control of concurrency

Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
Geometry of synthesis: a structured approach to VLSI design

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the compositionality of round abstraction

CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Geometry of synthesis III: resource management through type inference

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compositional model extraction for higher-order concurrent programs

TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Geometry of synthesis iv: compiling affine recursion into static hardware

Proceedings of the 16th ACM SIGPLAN international conference on Functional programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

A synchronous game semantics--one in which several moves may occur simultaneously--is derived from a conventional (sequential) game semantics using a round abstraction algorithm. We choose the programming language Syntactic Control of Interference and McCusker's fully abstract relational model as a convenient starting point and derive a synchronous game model first by refining the relational semantics into a trace semantics, then applying a round abstraction to it. We show that the resulting model is sound but not fully abstract. This work is practically motivated by applications to hardware synthesis via game semantics.