Output details
11 - Computer Science and Informatics
University of Sussex
Article title
A step-indexed Kripke model of hidden state
Type
D - Journal article
Title of journal
Mathematical Structures in Computer Science
Article number
-
Volume number
23
Issue number
1
First page of article
1
ISSN of journal
0960-1295
Year of publication
2012
Number of additional authors
5
Additional information
<10>A preliminary conference version appeared in the Proceedings of the 13th Int. Conf. on Foundations of Software Science and Computational Structures (FOSSACS), Paphos, Greece, LNCS 6014, Springer, pp.2-17, 2010. (FOSSACS is a leading international conference series, in 2010 it had an acceptance rate of 25/86). Mathematical Structures in Computer Science is a leading international computer science theory journal. The research involved an international collaboration with Saarbruecken, Oxford, ITU Copenhagen, INRIA Paris. The paper proves the soundness of Pottier's work on anti frame rules and makes them amenable to all kinds of program logics.
Interdisciplinary
-
Cross-referral requested
-
Research group
G - Foundations of Software Systems
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
