Expressiveness of the Calculus
Expressive enough to encode:
- Parallel functions
- Typical Concurrent Objects
- Various Semaphores
Too conservative to express:
- Case-by-case dependency
c:[]/(Icos|Ocos), d:[]/(Icot|Ocot);s<t,t<s├ c![] | d![] | if … then c?[].….d?[].… else d?[].….c?[].…