author : Ulrich Hannemann

Short works

• Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach. 1999. (In FM'99 volume 2 )