Expressiveness of the Calculus
Expressive enough to encode:
Parallel functions
Typical concurrent objects
Various semaphores
Previous slide
Next slide
Back to first slide
View graphic version