The following pages link to (Q3832541):
Displaying 20 items.
- Semantic domains of timed event structures (Q840017) (← links)
- A logical characterization of well branching event structures (Q1190487) (← links)
- Formal timing analysis of distributed systems (Q1193762) (← links)
- Verification of distributed programs using representative interleaving sequences (Q1200917) (← links)
- Context-free event domains are recognizable (Q1286370) (← links)
- Verification of reactive systems using temporal logic with clocks (Q1575841) (← links)
- EMSO-logic and automata related to homogeneous flow event structures (Q1885039) (← links)
- Event-based time-stamped claim logic (Q2043818) (← links)
- Event-driven temporal logic pattern for control software requirements specification (Q2145270) (← links)
- An event-based fragment of first-order logic over intervals (Q2429992) (← links)
- (Q3356298) (← links)
- A Monotonic Formalism for Events and Systems of Events (Q4316300) (← links)
- (Q4518430) (← links)
- Decidability of a partial order based temporal logic (Q4630294) (← links)
- (Q4694252) (← links)
- Behavioural characterizations of partial order logics (Q5055959) (← links)
- Context-free event domains are recognizable (Q5096387) (← links)
- (Q5190784) (← links)
- (Q5398251) (← links)
- Models and logics for true concurrency. (Q5955751) (← links)
