Chatzigiannakis, I., Michail, O., Nikolaou, S.
, Pavlogiannis, A. & Spirakis, P. G. (2011).
All Symmetric Predicates in NSPACE(n 2) Are Stably Computable by the Mediated Population Protocol Model.
Mathematical Foundations of Computer Science 2010, Lecture Notes in Computer Science,
6281, 270.
https://doi.org/10.1007/978-3-642-15155-2_25