Investigating the limits of rely/guarantee conditions based on a concurrent garbage collector example (2018)

First Author: Jones, C B

Attributed to: Taming Concurrency funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Technical Report

Volume: CS-TR-1521

Issue: CS-TR-1521