research
∙
03/29/2021
Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style
In this paper we present a theory for the refinement of shared-memory co...
share
research
∙
07/09/2019
Handling localisation in rely/guarantee concurrency: An algebraic approach
The rely/guarantee approach of Jones extends Hoare logic with rely and g...
research
∙
05/04/2018
Encoding fairness in a synchronous concurrent program algebra: extended version with proofs
Concurrent program refinement algebra provides a suitable basis for supp...
research
∙
10/09/2017