Stably Decidable Graph Languages by Mediated Population Protocols.

Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis

Browse the full SSS paper archive.