Deconstructing general references via game semantics

DOI10.1007/978-3-642-37075-5_16MaRDI QIDQ4910423zbMATH OpenOpenAlexFDO

Authors Andrzej S. Murawski, Nikos Tzevelekos

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

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

Recommendations

• Full abstraction for nominal general references
• An algebraic account of references in game semantics
• A Fully Abstract Trace Semantics for General References
• Game semantics for call-by-value polymorphism
• scientific article; zbMATH DE number 1956502

Cited in

(6)

• Algorithmic games for full ground references
• An algebraic account of references in game semantics
• scientific article; zbMATH DE number 1949638 (Why is no real title available?)
• A Fully Abstract Trace Semantics for General References
• Deconstructing general references via game semantics
• Disentangling parallelism and interference in game semantics

This page was built for publication: Deconstructing general references via game semantics

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