Deriving self-stabilizing protocols for services specified in LOTOS - Kapus-Kolar, Monika (Informatica (Ljubljana), 2003)
Keywords: telecommunication; telekomunikacije; porazdeljeni sistemi; Lotos; komunikacijski protokoli