Pages that link to "Item:Q2942895"

The following pages link to A rely-guarantee-based simulation for verifying concurrent program transformations (Q2942895):

Displaying 2 items.

• Verifying a concurrent garbage collector with a rely-guarantee methodology (Q2319995) (← links)
• Verifying Optimizations for Concurrent Programs (Q5240132) (← links)