A predicate transformer for the progress property `to-always'
type: Item
instance of: scholarly article
title: A predicate transformer for the progress property `to-always'
zbMATH Open document ID: 0887.68036
DOI: 10.1007/BF01211085
author: Rutger M. Dijkstra
author: Beverly A. Sanders
published in: Formal Aspects of Computing
publication date: 1998-05-25T00:00:00Z
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 1112404
zbMATH Keywords: concurrent programs
describes a project that uses: UNITY
MaRDI profile type: Publication
cites work: Q4692502
cites work: Predicate transformers for reasoning about concurrent computation
cites work: Q4692630
cites work: A predicate transformer for progress
cites work: Eliminating the substitution axiom from UNITY logic
Recommended article: A predicate transformer for progress
Recommended article: A default, truth conditional semantics for the progressive
Recommended article: Towards a calculus of predicate transformers
Recommended article: Predicate Transformer Semantics
Recommended article: An algebraic construction of predicate transformers
Recommended article: Q4281666
Recommended article: Predicate transformers for extended probability and non-determinism
Recommended article: A general proof rule for procedures in predicate transformer semantics
Recommended article: Specification transformers: a predicate transformer approach to composition
Recommended article: Predicate transformers and higher-order programs
description: scientific article; zbMATH DE number 1112404