Process Algebras

• Traditional process algebra (PA) describes concurrent systems

• Timed PA associates delays with actions in a process

• Stochastic process algebra (SPA) is a timed PA that also models probabilistic choice

Previous slide

Next slide

Back to first slide

View graphic version