MODEL KOMPUTASI TERDISTRIBUSI MENGGUNAKAN OTOMATA INPUT/OUTPUT UNTUK MASALAH DISTRIBUTED LEADER ELECTION - PAELO, ELVINA (2015)