E-LOTOS-based compositional service-based synthesis of multi-party time-sharing-based protocols - Kapus-Kolar, Monika (Elektrotehniški vestnik, 2006)
Keywords: porazdeljena implementacija storitev; sinteza protokolov; E-LOTOS