Pages that link to "Item:Q888419"
From MaRDI portal
The following pages link to Runtime verification with minimal intrusion through parallelism (Q888419):
Displaying 4 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)
