URN:NBN:SI:DOC-MRXJVHS92006Kapus-Kolar, Monikadocuments/znanstveni_clanki/elektrotehniski_vestnik/html/URN_NBN_SI_doc-MRXJVHS9.htmldocuments/znanstveni_clanki/elektrotehniski_vestnik/pdf/URN_NBN_SI_doc-MRXJVHS9.pdfdocuments/znanstveni_clanki/elektrotehniski_vestnik/txt/URN_NBN_SI_doc-MRXJVHS9.txt4738 straniarticlestr. 207-2140013-5852203973512232-3236URN:NBN:SI:doc-MRXJVHS9engElektrotehniška zveza SlovenijeElektrotehniški vestnikInCE-LOTOSporazdeljena implementacija storitevsinteza protokolovE-LOTOS-based compositional service-based synthesis of multi-party time-sharing-based protocolsKompozicionalno snovanje večpartnerskih protokolov z delitvijo časa na osnovi opisov pričakovanih storitev v jeziku E-LOTOS