A foundation for modular reasoning about safety and progress properties of state-based concurrent programs

This publication has 14 references indexed in Scilit:

• DUALITY: A simple formalism for the analysis of UNITY
  Formal Aspects of Computing, 1995
• Predicate transformers for reasoning about concurrent computation
  Science of Computer Programming, 1995
• Invariants, composition, and substitution
  Acta Informatica, 1995
• Composition of assumption-commitment specifications in a UNITY style
  Science of Computer Programming, 1994
• Composing specifications
  ACM Transactions on Programming Languages and Systems, 1993
• Derivation of concurrent programs: two examples
  Science of Computer Programming, 1992
• The existence of refinement mappings
  Theoretical Computer Science, 1991
• win and sin : predicate transformers for concurrency
  ACM Transactions on Programming Languages and Systems, 1990
• A predicate transformer for progress
  Information Processing Letters, 1990
• Proofs of Networks of Processes
  IEEE Transactions on Software Engineering, 1981