Pages that link to "Item:Q3618819"

The following pages link to Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards (Q3618819):

Displaying 3 items.

• Invariant-based reasoning about parameterized security protocols (Q2268473) (← links)
• Streamlining progress-based derivations of concurrent programs (Q2481207) (← links)
• Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS (Q3510806) (← links)