Cited in
(8)- Barriers in concurrent separation logic: now with tool support!
- Time bounds for general function pointers
- Barriers in Concurrent Separation Logic
- pthreads
- VeriSmall
- Rtac
- Step-indexed Kripke models over recursive worlds
- ModuRes: a Coq library for modular reasoning about concurrent higher-order imperative programming languages
This page was built for software: Mechanized Semantic Library
