Synchronous Game Semantics via Round Abstraction

DOI10.1007/978-3-642-19805-2_24zbMath1326.68179OpenAlexW1536236322MaRDI QIDQ3000620

Dan R. Ghica, Mohamed Menaa

Publication date: 19 May 2011

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19805-2_24

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Synchronous Game Semantics via Round Abstraction