The following pages link to (Q4733386):
Displaying 9 items.
- Partitioned PLTL model-checking for refined transition systems (Q1023285) (← links)
- A logical characterization of well branching event structures (Q1190487) (← links)
- Defining conditional independence using collapses (Q1194331) (← links)
- On undecidability of propositional temporal logics on trace systems (Q1199555) (← links)
- A principle for sequential reasoning about distributed algorithms (Q1346611) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- Partial-Order Reduction (Q3176364) (← links)
- Behavioural characterizations of partial order logics (Q5055959) (← links)
- Models and logics for true concurrency. (Q5955751) (← links)
