Pages that link to "Item:Q2024370"
From MaRDI portal
The following pages link to Compositional reasoning for shared-variable concurrent programs (Q2024370):
Displaying 11 items.
- Compositional reasoning about active objects with shared futures (Q890481) (← links)
- An operational semantics of sharing in lazy evaluation (Q1126266) (← links)
- Compositional reasoning for shared-variable concurrent programs (Q2024370) (← links)
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249) (← links)
- Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction (Q2949697) (← links)
- (Q3787443) (← links)
- Compositional Reasoning about Shared Futures (Q4899685) (← links)
- Transfer Principles for Reasoning About Concurrent Programs (Q4917047) (← links)
- Compositional Bitvector Analysis for Concurrent Programs with Nested Locks (Q4930732) (← links)
- UTCP: Compositional Semantics for Shared-Variable Concurrency (Q5045469) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465879) (← links)