Pages that link to "Item:Q1424360"
From MaRDI portal
The following pages link to Towards action refinement for true concurrent real time (Q1424360):
Displaying 10 items.
- Real-time specification and modeling with joint actions (Q685613) (← links)
- An action-based formal model for concurrent real-time systems (Q1362773) (← links)
- Refinement of actions for real-time concurrent systems with causal ambiguity (Q2491208) (← links)
- Taking decisions late: end-based choice combined with action refinement (Q2844828) (← 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)
- Action refinement and equivalence notions for timed event structures (Q2880595) (← links)
- (Q4550809) (← links)
- (Q4737590) (← links)
- (Q4813199) (← links)