1
Baldoni, Roberto.
2013
Table of Contents:
“...-Worker Computing -- State-Driven Testing of Distributed Systems -- Self-stabilizing Resource Discovery Algorithm -- Hybrid Distributed Consensus -- Speculative Concurrent Processing with Transactional Memory in the Actor Model -- An Optimal Broadcast Algorithm...”2013
Full text