Mechanized Semantic Library

swMATH13123MaRDI QIDQ25040FDOQ25040

Author name not available (Why is that?)

Cited In (5)

• Barriers in concurrent separation logic: now with tool support!
• ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages
• Step-indexed kripke models over recursive worlds
• Barriers in Concurrent Separation Logic
• Time Bounds for General Function Pointers

This page was built for software: Mechanized Semantic Library