Game Semantics for Higher-Order Concurrency
From MaRDI portal
Publication:5386004
DOI10.1007/11944836_38zbMath1177.68139MaRDI 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
Related Items
Full abstraction for Reduced ML, First-order reasoning for higher-order concurrency, Program equivalence in a simple language with state, A game semantics of names and pointers, A Testing Theory for a Higher-Order Cryptographic Language