Pages that link to "Item:Q5428915"
From MaRDI portal
The following pages link to A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs (Q5428915):
Displaying 5 items.
- A dynamic logic for deductive verification of multi-threaded programs (Q470007) (← links)
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- A shared-variable concurrency analysis of multi-threaded object-oriented programs (Q1004057) (← links)
- How to share concurrent wait-free variables (Q4371684) (← links)
- Reasoning about Recursive Processes in Shared-Variable Concurrency (Q5187824) (← links)