Publication:4823132
From MaRDI portal
zbMath1097.68574MaRDI QIDQ4823132
Publication date: 26 October 2004
68N15: Theory of programming languages
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Logic and Geometry of Agents in Agent-Based Modeling, Game semantics of Martin-Löf type theory, Functions with local state: regularity and undecidability, Computation as social agency: what, how and who, An approach to deciding the observational equivalence of Algol-like languages, Algorithmic probabilistic game semantics. Playing games with automata, Games for complexity of second-order call-by-name programs, Game Semantics for Access Control