Pages that link to "Item:Q688439"

The following pages link to Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions (Q688439):

Displaying 2 items.

• Spanning the spectrum from safety to liveness (Q1629750) (← links)
• An abstract interpretation-based model for safety semantics (Q2995468) (← links)