Declarative Framework for Specification, Simulation and Analysis of Distributed Applications | Publicación