Jiefei Ma, Franck Le, David Wood, Alessandra Russo, Jorge Lobo
A declarative approach to distributed computing: Specification, execution and analysis
ICLP, 2013.
@article{ICLP-J-2013-MaLWRL, author = "Jiefei Ma and Franck Le and David Wood and Alessandra Russo and Jorge Lobo", doi = "10.1017/S1471068413000513", journal = "{Theory and Practice of Logic Programming}", number = "4-5", pages = "815--830", title = "{A declarative approach to distributed computing: Specification, execution and analysis}", volume = 13, year = 2013, }