Publication:2767186
From MaRDI portal
zbMath0983.68039MaRDI QIDQ2767186
Fairouz Tchier, Bernhard Möller, Jules Desharnais
Publication date: 28 January 2002
verification; generalization; demonic semantics; Kleene algebra; while loop; rule; relational abstraction
68Q55: Semantics in the theory of computing
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
06D30: De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects)
Related Items
Transforming semantics by abstract interpretation, Kleene under a modal demonic star, Characterizing determinacy in Kleene algebras, Latest News about Demonic Algebra with Domain