11 search results - page 3 / 3 » A Proof of Weak Termination Providing the Right Way to Termi... |
JFP
2000
13 years 7 months ago
2000
Indeterminism is typical for concurrent computation. If several concurrent actors compete for the same resource then at most one of them may succeed, whereby the choice of the suc...