Pages that link to "Item:Q2851078"
From MaRDI portal
The following pages link to Action refinement for real-time concurrent processes with urgency (Q2851078):
Displaying 4 items.
- Towards action refinement for true concurrent real time (Q1424360) (← links)
- Refinement of actions for real-time concurrent systems with causal ambiguity (Q2491208) (← links)
- The expressive power of urgent, lazy and busy-waiting actions in timed processes Research supported by Murst progetto Saladin: Software Architectures and Languages to Coordinate Distributed Mobile Components. (Q4461216) (← links)
- (Q4550809) (← links)