Semantical analysis of specification logic. II
From MaRDI portal
Publication:1317433
DOI10.1006/inco.1993.1060zbMath0797.68105MaRDI QIDQ1317433
Robert D. Tennent, Peter W. O'Hearn
Publication date: 17 April 1994
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1993.1060
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Monoidal indeterminates and categories of possible worlds, A fibrational framework for possible-world semantics of \textsc{Algol}-like languages, Monoidal Indeterminates and Categories of Possible Worlds