Pages that link to "Item:Q1394990"
From MaRDI portal
The following pages link to Revisiting timing in process algebra. (Q1394990):
Displaying 10 items.
- Process algebra for hybrid systems (Q1781998) (← links)
- Models and languages for description of parallel processes (Q1792419) (← links)
- Continuity controlled hybrid automata (Q2368692) (← links)
- Reactive bisimulation semantics for a process algebra with timeouts (Q2687033) (← links)
- Process algebra with timing: Real time and discrete time (Q2760247) (← links)
- (Q4215810) (← links)
- An algorithm for exact bounds on the time separation of events in concurrent systems (Q4421149) (← links)
- (Q4796539) (← links)
- Extending Timed Process Algebra with Discrete Stochastic Time (Q5505429) (← links)
- Modelling mutual exclusion in a process algebra with time-outs (Q6053409) (← links)