Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References

@inproceedings{Suenaga2008TypeBasedDV,
  title={Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References},
  author={Kohei Suenaga},
  booktitle={APLAS},
  year={2008}
}
Highly Cited
This paper has 40 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.