Deconstructing General References via Game Semantics

DOI10.1007/978-3-642-37075-5_16zbMath1260.68110OpenAlexW1564547237MaRDI QIDQ4910423

Nikos Tzevelekos, Andrzej S. Murawski

Publication date: 18 March 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37075-5_16

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Algorithmic games for full ground references

This page was built for publication: Deconstructing General References via Game Semantics