Pages that link to "Item:Q3512481"
From MaRDI portal
The following pages link to Monitoring Atomicity in Concurrent Programs (Q3512481):
Displaying 11 items.
- Symbolic predictive analysis for concurrent programs (Q432146) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- A criterion for atomicity (Q1192605) (← links)
- On the correctness problem for serializability (Q2119957) (← links)
- Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency (Q2988639) (← links)
- Liveness-Preserving Atomicity Abstraction (Q3012940) (← links)
- On Distributed Monitoring and Synthesis (Q3195680) (← links)
- Automated Synthesis of Distributed Controllers (Q3449462) (← links)
- The Complexity of Predicting Atomicity Violations (Q3617757) (← links)
- Model Checking Software (Q5308380) (← links)
- Strict Linearizability and Abstract Atomicity (Q5859670) (← links)