Game semantics in the nominal model

DOI10.1016/J.ENTCS.2012.08.012MaRDI QIDQ3178282zbMATH OpenOpenAlexWikidataFDO

Authors Dan R. Ghica, Murdoch J. Gabbay

Publication date 8 July 2016

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

Full work available at URL https://doi.org/10.1016/j.entcs.2012.08.012

zbMATH Keywords

equivariancegame semanticsnominal abstractionnominal coabstractionnominal sets

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Applications of game theory (91A80)

Recommendations

• Full abstraction for nominal general references
• Game semantics for nominal exceptions
• Operational nominal game semantics
• What's in a game?
• A game semantics of names and pointers

Cites work

• A game semantics of names and pointers
• A general mathematics of names
• A new approach to abstract syntax with variable binding
• A system-level game semantics
• Angelic semantics of fine-grained concurrency
• CONCUR 2004 - Concurrency Theory
• Constructing Differential Categories and Deconstructing Categories of Games
• Foundations of nominal techniques: logic and semantics of variables in abstract syntax
• Freshness and Name-Restriction in Sets of Traces with Names
• Full abstraction for PCF
• Games and full abstraction for FPC.
• Games: Unifying logic, language, and philosophy
• scientific article; zbMATH DE number 1223609 (Why is no real title available?)
• scientific article; zbMATH DE number 1956515 (Why is no real title available?)
• scientific article; zbMATH DE number 1841820 (Why is no real title available?)
• Meta-variables as infinite lists in nominal terms unification and rewriting
• Nominal Renaming Sets
• Nominal techniques in Isabelle/HOL
• On full abstraction for PCF: I, II and III
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(15)

• Game semantics approach to higher-order complexity
• Latent semantic analysis of game models using LSTM
• A game semantics of names and pointers
• Game semantics for access control
• Operational nominal game semantics
• Game Semantics in String Diagrams
• scientific article; zbMATH DE number 3861115 (Why is no real title available?)
• scientific article; zbMATH DE number 5542577 (Why is no real title available?)
• scientific article; zbMATH DE number 1241700 (Why is no real title available?)
• Towards nominal Abramsky
• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 6787702 (Why is no real title available?)
• Game semantics for nominal exceptions
• The far side of the cube. An elementary introduction to game semantics
• Disentangling parallelism and interference in game semantics

Describes a project that uses

Uses Software

• Nominal Isabelle

This page was built for publication: Game semantics in the nominal model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3178282)