Browsing Administrative Staff Authors by Subject "reduction barbed congruence"
Now showing items 1-1 of 1
-
A theory of system behaviour in the presence of node and link failure
(Elsevier, 2008)We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D , a language in which located processes, or agents, may ...