Pages that link to "Item:Q888419"
From MaRDI portal
The following pages link to Runtime verification with minimal intrusion through parallelism (Q888419):
Displayed 5 items.
- Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation (Q1688550) (← links)
- A theory of monitors (Q2051767) (← links)
- On the complexity of determinizing monitors (Q2399244) (← links)
- Consistently-detecting monitors (Q5111620) (← links)
- Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability (Q6202229) (← links)