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
Type Judgment
Type Judgment
?; ?из P
- ? : type environment (mapping from variables to types)
- ? : time tag ordering (binary relation on time tags)
P uses communication channels according to:
- the usage specified by ?
- the order specified by ?