Lamport wanted to develop a grand unified theory of concurrency (like the Turing machine for sequential computing) but never found it, which made him feel like a failure; many other researchers pursued the same goal via Petri nets and other approaches, all unsuccessfully.