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
Correctness of the Type System

Correctness of the Type System

Deadlock-freedom:(the case of an output obligation)

? + x:[?]/Oot; ?├ P

Every usage in ? + x:[?]/Oot is reliable

?+ is a strict partial order

P will eventually perform output on x (unless ‘infinite loop’)

Previous slide Next slide Back to first slide View graphic version

Correctness of the Type System

Deadlock-freedom: (the case of an output obligation)

? + x:[?]/Oot; ?├ P

Every usage in ? + x:[?]/Oot is reliable

?+ is a strict partial order

P will eventually perform output on x (unless ‘infinite loop’)

Deadlock-freedom:(the case of an output obligation)