The following pages link to (Q4038718):
Displaying 5 items.
- Graph rewriting for a partial ordering semantics of concurrent constraints programming (Q685459) (← links)
- 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)
- Petri nets, traces, and local model checking (Q1391100) (← links)