scientific article; zbMATH DE number 1241700
From MaRDI portal
Publication:4225150
zbMath0919.68084MaRDI QIDQ4225150
Publication date: 18 January 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (20)
On concurrent games with payoff ⋮ Comparing hierarchies of types in models of linear logic ⋮ On dialogue games and graph games ⋮ An approach to deciding the observational equivalence of Algol-like languages ⋮ GAME FORMATS AS CHU SPACES ⋮ Realizability for Peano arithmetic with winning conditions in HON games ⋮ Reasoning about equilibria in game-like concurrent systems ⋮ Imperative programs as proofs via game semantics ⋮ Glueing and orthogonality for models of linear logic ⋮ Interpreting Localized Computational Effects Using Operators of Higher Type ⋮ Deterministic concurrent strategies ⋮ Totality in arena games ⋮ A graphical foundation for interleaving in game semantics ⋮ Unnamed Item ⋮ Asynchronous games. II: The true concurrency of innocence ⋮ Some Programming Languages Suggested by Game Models (Extended Abstract) ⋮ Game Semantics for Access Control ⋮ Monoidal-closed categories of tree automata ⋮ Dynamic game semantics ⋮ A game-semantic model of computation
This page was built for publication: