RT Journal Article SR Electronic(1) A1 Lam, Edmund A1 Cervesato, IlianoYR 2016 T1 Effective High-level Coordination Programming for Decentralized and Distributed Ensembles JF , VO 2016 IS 1 OP SP ICTPP2137 DO https://doi.org/10.5339/qfarc.2016.ICTPP2137 PB Hamad bin Khalifa University Press (HBKU Press), SN 2226-9649, AB , UL https://www.qscience.com/content/papers/10.5339/qfarc.2016.ICTPP2137