Pages that link to "Item:Q2760255"
From MaRDI portal
The following pages link to Discrete time process algebra and the semantics of SDL (Q2760255):
Displaying 5 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)
- Splitting bisimulations and retrospective conditions (Q2500474) (← links)