The following pages link to (Q4796539):
Displaying 8 items.
- Duplication of constants in process algebra (Q864505) (← links)
- Revisiting timing in process algebra. (Q1394990) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- (Q3783514) (← links)
- Topological Aspects of Hybrid Processes (Q5262960) (← links)
- Extending Timed Process Algebra with Discrete Stochastic Time (Q5505429) (← links)
- Abstract State Machines 2004. Advances in Theory and Practice (Q5901604) (← links)
- Modelling mutual exclusion in a process algebra with time-outs (Q6053409) (← links)