Dosažení typové bezpečnosti konsenzu v pokročilých distribuovaných algoritmech | MLOG | MLOG