Process based specifications

• For describing concurrent systems

• Also algebraic in nature, but focus on processes that can be composed over a variety of operators (such as run in parallel)

Previous slide

Next slide

Back to first slide

View graphic version