From CSP to Game Semantics

DOI10.1007/978-1-84882-912-1_2zbMath1215.68144DBLPbooks/daglib/p/Abramsky10OpenAlexW2117014456WikidataQ57006570 ScholiaQ57006570MaRDI QIDQ3163396

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

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

Related Items (1)

Unnamed Item

This page was built for publication: From CSP to Game Semantics