Jorge Lobo, David Wood, Dinesh C. Verma, Seraphin B. Calo. Distributed state machines: A declarative framework for the management of distributed systems. In 8th International Conference on Network and Service Management, CNSM 2012, Las Vegas, NV, USA, October 22-26, 2012. pages 224-228, IEEE, 2012. [doi]
Abstract is missing.