From CSP to game semantics

DOI10.1007/978-1-84882-912-1_2MaRDI QIDQ3163396zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Samson Abramsky

Publication date 26 October 2010

Published in Reflections on the Work of C.A.R. Hoare (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-84882-912-1_2

zbMATH Keywords

process calculi

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) 2-person games (91A05)

Recommendations

• A Game Semantics of Idealized CSP
• scientific article; zbMATH DE number 2110612
• Static Analysis
• What's in a game?
• A Theory for Game Theories

Cited in

(9)

• Games in the semantics of programming languages -- an elementary introduction
• Software model checking based on game semantics and CSP
• A system-level game semantics
• scientific article; zbMATH DE number 35422 (Why is no real title available?)
• Transition systems over games
• A Game Semantics of Idealized CSP
• Static Analysis
• Grounding game semantics in categorical algebra
• Compositionality in context

This page was built for publication: From CSP to game semantics

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