The following pages link to Plan B (Q2931808):
Displayed 4 items.
- Verifying a concurrent garbage collector with a rely-guarantee methodology (Q2319995) (← links)
- (Q5376661) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5915975) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5918263) (← links)