Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Expressiveness of the Calculus
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?[].…