zbMath0302.68044MaRDI QIDQ4057582
Leslie Lamport
Publication date: 1975
Mathematics Subject Classification ID
68Q45: Formal languages and automata
68N01: General topics in the theory of software
Related Items