The following pages link to (Q4271922):
Displaying 7 items.
- Semantic domains of timed event structures (Q840017) (← links)
- Analysis of equivalence relations of event structures with continuous time (Q1592080) (← links)
- Partial order semantics and read arcs (Q1608891) (← links)
- Testing equivalences of time Petri nets (Q2217206) (← links)
- Refinement of actions for real-time concurrent systems with causal ambiguity (Q2491208) (← links)
- (Q2844828) (← links)
- Metric semantics for true concurrent real time (Q5940931) (← links)
