The following pages link to Invariance and non-determinacy (Q3334052):
Displaying 5 items.
- Deaccumulation techniques for improving provability (Q882487) (← links)
- Reasoning about networks with many identical finite state processes (Q921983) (← links)
- On the mechanical derivation of loop invariants (Q1322851) (← links)
- Efficiency of asynchronous systems, read arcs, and the MUTEX-problem (Q1607225) (← links)
- (Q4780638) (← links)