Pages that link to "Item:Q2844829"
From MaRDI portal
The following pages link to Refinement of actions in a real-time process algebra with a true concurrency model (Q2844829):
Displaying 10 items.
- Real-time specification and modeling with joint actions (Q685613) (← links)
- Refinement of events in the development of real-time distributed systems (Q1341711) (← links)
- Towards action refinement for true concurrent real time (Q1424360) (← links)
- Refinement of actions for real-time concurrent systems with causal ambiguity (Q2491208) (← links)
- A refinement-based process algebra for timed automata (Q2576580) (← links)
- Action refinement for real-time concurrent processes with urgency (Q2851078) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- (Q4813199) (← links)
- Progress-preserving Refinements of CTA (Q5009458) (← links)
- Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394040) (← links)