scientific article; zbMATH DE number 2090029
From MaRDI portal
Publication:4808696
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Algebras of modal operators and partial correctness ⋮ Strong nilpotence holds in dimensions up to five only∗ ⋮ Towards an Algebra for Real-Time Programs ⋮ Convolution and concurrency ⋮ Abstract representation theorems for demonic refinement algebras ⋮ On the Structure of Demonic Refinement Algebras with Enabledness and Termination ⋮ Reactive Probabilistic Programs and Refinement Algebra ⋮ Probabilistic Choice in Refinement Algebra ⋮ Enabledness and termination in refinement algebra ⋮ Algebraic reasoning for probabilistic action systems and while-loops ⋮ A sketch of a dynamic epistemic semiring ⋮ Normal forms in total correctness for while programs and action systems ⋮ Refinement algebra for probabilistic programs ⋮ Algebra of Monotonic Boolean Transformers ⋮ Automated verification of refinement laws
