Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style.