DOI10.1016/0167-6423(94)90010-8zbMath0814.68086MaRDI QIDQ1330453
Johan L. Lukkien
Publication date: 21 July 1994 Published in: Science of Computer Programming (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/0167-6423(94)90010-8
zbMATH Keywords
operational semantics; unfolding; weakest precondition; temporal property
Mathematics Subject Classification ID
68N15: Theory of programming languages
68Q55: Semantics in the theory of computing