Pages that link to "Item:Q5887512"
From MaRDI portal
The following pages link to A hierarchy of domains for real-time distributed computing (Q5887512):
Displaying 5 items.
- A timed model for communicating sequential processes (Q1109561) (← links)
- The timed failures -- Stability model for CSP (Q1274446) (← links)
- Pursuit and evasion on a ring: An infinite hierarchy for parallel real-time systems (Q1348695) (← links)
- Generalizing finiteness conditions of labelled transition systems (Q4632441) (← links)
- On real-time and non real-time distributed computing (Q6062514) (← links)