Pages that link to "Item:Q4139635"
From MaRDI portal
The following pages link to An exercise in proving parallel programs correct (Q4139635):
Displayed 4 items.
- Fine-grained concurrency with separation logic (Q763473) (← links)
- The lifeness property of on-the-fly garbage collector - a proof (Q1054471) (← links)
- Axiomatic-like performance analysis (ALPA) (Q1324358) (← links)
- CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus (Q1325848) (← links)