Pages that link to "Item:Q688444"

The following pages link to Unity properties and sequences of states, some observations (Q688444):

Displaying 3 items.

• Unity properties and sequences of states, some observations (Q688444) (← links)
• A foundation for modular reasoning about safety and progress properties of state-based concurrent programs (Q1391101) (← links)
• Coordinating action systems (Q1592481) (← links)