A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces

DOI10.1007/978-3-642-19805-2_21zbMath1326.68105OpenAlexW1608782706MaRDI QIDQ3000617

Kristian Støvring, Lars Birkedal, Jan Schwinghammer

Publication date: 19 May 2011

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19805-2_21

Mathematics Subject Classification ID

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

This page was built for publication: A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces