The following pages link to Interleaving set temporal logic (Q2639046):
Displaying 13 items.
- A stubborn attack on state explosion (Q685106) (← links)
- Fairness and the axioms of control predicates (Q1104729) (← links)
- Appraising fairness in languages for distributed programming (Q1112589) (← links)
- Formal timing analysis of distributed systems (Q1193762) (← links)
- Defining conditional independence using collapses (Q1194331) (← links)
- Verification of distributed programs using representative interleaving sequences (Q1200917) (← links)
- On equivalence-completions of fairness assumptions (Q1205189) (← links)
- Detecting causal relationships in distributed computations: In search of the holy grail (Q1331790) (← links)
- A principle for sequential reasoning about distributed algorithms (Q1346611) (← links)
- On projective and separable properties (Q1389766) (← links)
- Deciding global partial-order properties (Q1774565) (← links)
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- Automata Theory and Model Checking (Q3176362) (← links)
