Declarative Distributed Computing

@inproceedings{Lobo2012DeclarativeDC,
  title={Declarative Distributed Computing},
  author={Jorge Lobo and Jiefei Ma and Alessandra Russo and Franck Le},
  booktitle={Correct Reasoning},
  year={2012}
}