Distributed state machines: A declarative framework for the management of distributed systems.

Jorge Lobo, David Wood, Dinesh C. Verma, Seraphin B. Calo

Browse the full CNSM paper archive.