Search for Author All Reviews
	Lamport, Leslie     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 13 reviews       Who builds a house without drawing blueprints? Lamport L. Communications of the ACM 58(4): 38-41, 2015.  Type: Article The ideal design and implementation of software systems should include detailed specifications of their requirements and functionalities. Unfortunately, as illustrated in this perceptive paper, writing software specifications without y...... May 13 2015     The part-time parliament Lamport L. ACM Transactions on Computer Systems 16(2): 133-169, 1998.  Type: Article “‘Curiouser and curiouser!’ cried Alice,” and the reader of this paper is likely to join Alice in that remark. The first curiosity is that the paper claims to be about an ancient civilization, al...... Aug 1 1999     Conjoining specifications Abadi M., Lamport L. ACM Transactions on Programming Languages and Systems 17(3): 507-535, 1995.  Type: Article The authors present a method for deducing properties of a concurrent system by reasoning about its components. Specifications are given in the Temporal Logic of Actions (TLA). Both the decomposition of a system (into its components) an...... Aug 1 1996     An old-fashioned recipe for real time Abadi M., Lamport L. ACM Transactions on Programming Languages and Systems 16(5): 1543-1571, 1994.  Type: Article Using the temporal logic of actions (TLA) as a base, the authors examine how the use of a nondecreasing real-valued state variable to model time can facilitate the specification of, and reasoning about, concurrent real-time systems. Th...... Jul 1 1995     LATEX (2nd ed.) Lamport L., Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1994.  Type: Book (9780201529838) \LaTeX is a version of Donald Knuth’s \TeX typesetting language adapted to be more user friendly. It was invented by Leslie Lamport and has enjoyed great success, particularly among graduate students in the physical sciences ...... Feb 1 1995     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy