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):
Displayed 3 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)
- Reasoning about Recursive Processes in Shared-Variable Concurrency (Q5187824) (← links)