Pages that link to "Item:Q1857952"
From MaRDI portal
The following pages link to The real-time process algebra (RTPA) (Q1857952):
Displaying 8 items.
- Real time process algebra (Q2640341) (← links)
- A real-time process algebra with open intervals and maximal progress (Q2765925) (← links)
- TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources (Q2842574) (← links)
- A spatial extension to the \(\pi\) calculus (Q2870304) (← links)
- ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING (Q3062792) (← links)
- The transition rules model for real-time process control (Q3767183) (← links)
- (Q4278673) (← links)
- Putting Natural Time into Science (Q5861782) (← links)