Game Semantics for Higher-Order Concurrency

DOI10.1007/11944836_38zbMATH Open1177.68139OpenAlexW2093678838MaRDI QIDQ5386004

No author found.

Publication date: 17 April 2008

Published in: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11944836_38

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (8)

Non-angelic concurrent game semantics ⋮ Full abstraction for Reduced ML ⋮ First-order reasoning for higher-order concurrency ⋮ Program equivalence in a simple language with state ⋮ Concurrent Separation Logic Meets Template Games ⋮ A Testing Theory for a Higher-Order Cryptographic Language ⋮ A game semantics of names and pointers ⋮ A Mathematical Game Semantics of Concurrency and Nondeterminism

This page was built for publication: Game Semantics for Higher-Order Concurrency