Algoritmos de relógio de Lamport e vetorial implementados em python