3 ms·Slightly left field but Specifying Systems by Lamport?by mhh__ 5y agoSlightly left field but Specifying Systems by Lamport?