The following pages link to CONCUR 2004 - Concurrency Theory (Q5311481):
Displaying 38 items.
- On grainless footprint semantics for shared-memory programs (Q283741) (← links)
- Inter-process buffers in separation logic with rely-guarantee (Q613139) (← links)
- Abstraction for concurrent objects (Q615951) (← links)
- Fine-grained concurrency with separation logic (Q763473) (← links)
- Formal verification of a Java component using the RESOLVE framework (Q831953) (← links)
- Certifying low-level programs with hardware interrupts and preemptive threads (Q835764) (← links)
- A semantics for concurrent separation logic (Q879367) (← links)
- Resources, concurrency, and local reasoning (Q879368) (← links)
- Non-preemptive semantics for data-race-free programs (Q1623168) (← links)
- A game semantics of concurrent separation logic (Q2130597) (← links)
- Revisiting concurrent separation logic (Q2397039) (← links)
- Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems (Q2408742) (← links)
- Variables as resource for shared-memory programs: semantics and soundness (Q2851320) (← links)
- A grainless semantics for parallel programs with shared mutable data (Q2852353) (← links)
- Barriers in concurrent separation logic: now with tool support! (Q2887058) (← links)
- Syntactic control of interference for separation logic (Q2942883) (← links)
- Barriers in Concurrent Separation Logic (Q3000585) (← links)
- Fairness, Resources, and Separation (Q3178252) (← links)
- Syntactic Control of Interference and Concurrent Separation Logic (Q3178275) (← links)
- Parameterized Memory Models and Concurrent Separation Logic (Q3558227) (← links)
- Logics and Bisimulation Games for Concurrency, Causality and Conflict (Q3617720) (← links)
- (Q3998342) (← links)
- Bringing Order to the Separation Logic Jungle (Q5055998) (← links)
- (Q5090915) (← links)
- An Asynchronous Soundness Theorem for Concurrent Separation Logic (Q5145346) (← links)
- Concurrent Separation Logic Meets Template Games (Q5145677) (← links)
- Expressing the behavior of three very different concurrent systems by using natural extensions of separation logic (Q5146595) (← links)
- Retracing CSP (Q5262957) (← links)
- Permission accounting in separation logic (Q5276151) (← links)
- Convolution as a Unifying Concept (Q5277916) (← links)
- Interactive proofs in higher-order concurrent separation logic (Q5370856) (← links)
- Separation Logic Semantics for Communicating Processes (Q5415605) (← links)
- A Revisionist History of Concurrent Separation Logic (Q5739348) (← links)
- Step-Indexed Kripke Model of Separation Logic for Storable Locks (Q5739354) (← links)
- Precision and the Conjunction Rule in Concurrent Separation Logic (Q5739357) (← links)
- Concurrent Separation Logic and Operational Semantics (Q5739365) (← links)
- Resource separation in dynamic logic of propositional assignments (Q5918351) (← links)
- Concise outlines for a complex logic: a proof outline checker for TaDA (Q6145023) (← links)
