A declarative approach to distributed computing: Specification, execution and analysis | Publicación