Mechanized Semantic Library

swMATH13123MaRDI QIDQ25040FDOQ25040

Author name not available (Why is that?)

Cited In (5)

• Barriers in concurrent separation logic: now with tool support!
• Time bounds for general function pointers
• Barriers in Concurrent Separation Logic
• 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