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

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View graph of relations

Original languageEnglish
Title of host publicationFOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures
VolumeLNCS 6604
Publication date2011
Publication statusPublished - 2011

ID: 32340243