6 citations · 14 across the 7 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
What's in a game? A theory of game models
Clovis Eberhart, Tom Hirschowitz
Game semantics is a rich and successful class of denotational models for programming languages. Most game models feature a rather intuitive setup, yet surprisingly difficult proofs…
cs.LO2017★ 2 cited
An intensionally fully-abstract sheaf model for (expanded version)
Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
Following previous work on CCS, we propose a compositional model for the -calculus in which processes are interpreted as sheaves on certain simple sites. Such sheaves are a conc…