Latella, Diego and Loreti, Michele and Massink, Mieke and Senni, Valerio Stochastically timed predicate-based communication primitives for autonomic computing. Technical Report #3/2014 QUANTICOL Project