| 1. | The liveness of our shows is the most interesting feature.
|
| 2. | I miss that kind of liveness and spontaneity, which translates into danger.
|
| 3. | Liveness analysis is a " backwards may " analysis.
|
| 4. | The liveness conditions of Basic Paxos and Gbcast are similar but not identical.
|
| 5. | Eventual consistency is an example of a liveness property.
|
| 6. | All properties can be expressed as the intersection of safety and liveness properties.
|
| 7. | Paxos requires a single leader to ensure liveness.
|
| 8. | The liveness, I think that's the beauty of it, the purity of it.
|
| 9. | In distributed mode TLC cannot check liveness properties, nor check random or depth-first behaviours.
|
| 10. | All of which prompts him to rave about the " liveness " of the sound Johns captured.
|
