عکسش درست نیست: timestamp کوچکتر یعنی happens-before نیست، پس ساعت Lamport همزمانی را تشخیص نمیدهد. برای ترتیب کلی معمولاً تساوی با شناسهی process شکسته میشود.
Lamport clock
یک شمارنده برای هر process که با هر رویداد زیاد میشود و هنگام receive با max ادغام میشود، تا «a پیش از b» یعنی timestamp کوچکتر.