Pages that link to "Item:Q1190487"
From MaRDI portal
The following pages link to A logical characterization of well branching event structures (Q1190487):
Displaying 7 items.
- Context-free event domains are recognizable (Q1286370) (← links)
- Verification of reactive systems using temporal logic with clocks (Q1575841) (← links)
- Behavioural characterizations of partial order logics (Q5055959) (← links)
- Context-free event domains are recognizable (Q5096387) (← links)
- Event Identifier Logic (Q5740354) (← links)
- Models and logics for true concurrency. (Q5955751) (← links)
- Concurrent hyperproperties (Q6535831) (← links)
