Pages that link to "Item:Q5946026"
From MaRDI portal
The following pages link to Real time process algebra with time-dependent conditions (Q5946026):
Displaying 6 items.
- A formal framework for distributed cyber-physical systems (Q2168791) (← links)
- Real time process algebra (Q2640341) (← links)
- A real-time process algebra with open intervals and maximal progress (Q2765925) (← links)
- The transition rules model for real-time process control (Q3767183) (← links)
- Stochastic and Real Time in Process Algebra: A Conceptual Overview (Q5262956) (← links)
- Runtime composition of systems of interacting cyber-physical components (Q6562520) (← links)