E-LOTOS-based compositional service-based synthesis of multi-party time-sharing-based protocols
Kompozicionalno snovanje večpartnerskih protokolov z delitvijo časa na osnovi opisov pričakovanih storitev v jeziku E-LOTOS