The following pages link to CONCUR 2004 - Concurrency Theory (Q5311481):
Displaying 16 items.
- On grainless footprint semantics for shared-memory programs (Q283741) (← links)
- Abstraction for concurrent objects (Q615951) (← 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)
- A game semantics of concurrent separation logic (Q2130597) (← links)
- Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems (Q2408742) (← links)
- Barriers in Concurrent Separation Logic (Q3000585) (← links)
- Logics and Bisimulation Games for Concurrency, Causality and Conflict (Q3617720) (← links)
- Bringing Order to the Separation Logic Jungle (Q5055998) (← links)
- (Q5090915) (← links)
- Retracing CSP (Q5262957) (← links)
- A Revisionist History of Concurrent Separation Logic (Q5739348) (← 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)
