Pages that link to "Item:Q2491208"
From MaRDI portal
The following pages link to Refinement of actions for real-time concurrent systems with causal ambiguity (Q2491208):
Displaying 5 items.
- Towards action refinement for true concurrent real time (Q1424360) (← links)
- Refinement of actions in a real-time process algebra with a true concurrency model (Q2844829) (← links)
- Action refinement for real-time concurrent processes with urgency (Q2851078) (← links)
- (Q4550809) (← links)
- (Q4813199) (← links)