The following pages link to (Q4471919):
Displaying 4 items.
- Generalised rely-guarantee concurrency: an algebraic foundation (Q333330) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example (Q2418046) (← links)
- Transfer Principles for Reasoning About Concurrent Programs (Q4917047) (← links)
