Deriving self-stabilizing protocols for services specified in LOTOS

URN:NBN:SI:DOC-OUIREAEG2003Kapus-Kolar, Monikadocuments/doc/O/URN_NBN_SI_doc-OUIREAEG_001.pdfdocuments/doc/O/URN_NBN_SI_doc-OUIREAEG_001.txt127articlestr. 57-730350-559617589031URN:NBN:SI:doc-OUIREAEGengSlovensko društvo InformatikaInformatica (Ljubljana)InCkomunikacijski protokoliLotosporazdeljeni sistemitelecommunicationtelekomunikacijeDeriving self-stabilizing protocols for services specified in LOTOS