The following pages link to Real space process algebra (Q1329194):
Displaying 8 items.
- Revisiting timing in process algebra. (Q1394990) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- Discrete time process algebra (Q1914041) (← links)
- Process algebra with strategic interleaving (Q2000000) (← links)
- A Spatial Extension to the π Calculus (Q2870304) (← links)
- Discrete time process algebra with abstraction (Q5055876) (← links)
- Real time process algebra with time-dependent conditions (Q5946026) (← links)
- On the semantics of durational actions (Q5958612) (← links)
