A step-indexed Kripke model of hidden state

DOI10.1017/S0960129512000035zbMath1276.03029MaRDI QIDQ4911302

François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang, Jan Schwinghammer, Lars Birkedal

Publication date: 14 March 2013

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

frame ruletyping systemanti-frame ruleKripke model, hidden state

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Cites Work

• The category-theoretic solution of recursive metric-space equations
• Solving reflexive domain equations in a category of complete metric spaces
• Resources, concurrency, and local reasoning
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Relational properties of domains
• Oracle Semantics for Concurrent Separation Logic

This page was built for publication: A step-indexed Kripke model of hidden state