[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Convergence is a liveness property: If faults stop occuring then the system eventually reaches an OK state
OK state = legal.
atomic commitment (two-phase commit), data transfer, Byzantyne agreement, sliding window, delay insensitivity, impossible requirements, design methods.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]