Immediate Observation in Mediated Population Protocols. - Tobias Prehn; Myron Rotter (EXPRESS/SOS, 2019)