Publication:4808696
From MaRDI portal
zbMath1073.68592MaRDI QIDQ4808696
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2386/23860233.htm
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Normal forms in total correctness for while programs and action systems, Abstract representation theorems for demonic refinement algebras, Algebras of modal operators and partial correctness, Enabledness and termination in refinement algebra, Algebraic reasoning for probabilistic action systems and while-loops, A sketch of a dynamic epistemic semiring, Automated verification of refinement laws, Refinement algebra for probabilistic programs, Towards an Algebra for Real-Time Programs, Algebra of Monotonic Boolean Transformers, On the Structure of Demonic Refinement Algebras with Enabledness and Termination, Reactive Probabilistic Programs and Refinement Algebra, Probabilistic Choice in Refinement Algebra, Strong nilpotence holds in dimensions up to five only∗