A System-Level Game Semantics

DOI10.1016/j.entcs.2012.08.013zbMath1342.68196arXiv1201.4462OpenAlexW2097920868WikidataQ113318078 ScholiaQ113318078MaRDI QIDQ3178283

Nikos Tzevelekos, Dan R. Ghica

Publication date: 8 July 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1201.4462

zbMATH Keywords

game semanticsomnipotent opponentomniscient opponent

Mathematics Subject Classification ID

Applications of game theory (91A80) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (8)

Game Semantics in the Nominal Model ⋮ Higher-order linearisability ⋮ Latent semantic analysis of game models using LSTM ⋮ A curry-style semantics of interaction: from untyped to second-order lazy \(\lambda\mu\)-calculus ⋮ Unnamed Item ⋮ Complete trace models of state and control ⋮ Fully abstract trace semantics for protected module architectures ⋮ Unnamed Item

Uses Software

• Java Jr

Cites Work

• Unnamed Item
• A new approach to abstract syntax with variable binding
• Semantical analysis of specification logic
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• Angelic semantics of fine-grained concurrency
• Biorthogonality, step-indexing and compiler correctness
• Parametricity and local variables
• Foundations of Software Science and Computation Structures
• Programming Languages and Systems
• A Fully Abstract Trace Semantics for General References
• From Applicative to Environmental Bisimulation

This page was built for publication: A System-Level Game Semantics