scientific article; zbMATH DE number 2110612

From MaRDI portal

Revision as of 01:46, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4823132

Jump to:navigation, search

zbMath1097.68574MaRDI QIDQ4823132

Samson Abramsky

Publication date: 26 October 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

model-checking programming language theory

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (8)

An approach to deciding the observational equivalence of Algol-like languages ⋮ Computation as social agency: what, how and who ⋮ Game semantics of Martin-Löf type theory ⋮ Logic and Geometry of Agents in Agent-Based Modeling ⋮ Algorithmic probabilistic game semantics. Playing games with automata ⋮ Functions with local state: regularity and undecidability ⋮ Game Semantics for Access Control ⋮ Games for complexity of second-order call-by-name programs

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4823132&oldid=19143746"