The following pages link to (Q3814798):
Displayed 6 items.
- Defining conditional independence using collapses (Q1194331) (← links)
- On undecidability of propositional temporal logics on trace systems (Q1199555) (← links)
- Verification of distributed programs using representative interleaving sequences (Q1200917) (← links)
- Proving partial order properties (Q1322161) (← links)
- Logics and decidability for labelled pre- and partially ordered Kripke structures (Q1328764) (← links)
- Detecting causal relationships in distributed computations: In search of the holy grail (Q1331790) (← links)