Generalised rely-guarantee concurrency: an algebraic foundation
Article in Formal Aspects of Computing (July 2016)
The most recent citing publications are shown below. View all 9 publications that cite this research output on Dimensions.
On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra
Article in Journal of Logical and Algebraic Methods in Programming (May 2015)
Calculating tree navigation with symmetric relational zipper
Conference proceeding (January 2011)