A declarative approach to distributed computing: Specification, execution and analysis
From MaRDI portal
Publication:5398312
DOI10.1017/S1471068413000513zbMath1286.68051WikidataQ109585583 ScholiaQ109585583MaRDI QIDQ5398312
Alessandra Russo, Jorge Lobo, David A. Wood, Jiefei Ma, Franck le
Publication date: 27 February 2014
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)