distributed systems methods and tools for specification an advanced course leslie lamport

Now at Microsoft Research in Mountain View, California, he began his work on TLA+ at the Digital (later Compaq) Systems Research Center … TLA+ is a formal specification language developed by Leslie Lamport. It is used to design, model, document, and verify programs, especially concurrent systems and distributed systems. Leslie Lamport won a Turing Award in 2013 for his work in distributed and concurrent systems. Lecture Notes in Computer Science 190, Springer 1985, ISBN 3-540-15216-4 3. For design and documentation, TLA+ fulfills the same purpose as informal technical specifications… Foundations of Distributed Systems. LOTOS formal description technique (FDT) is applied to the formal description of distributed systems and the specification of OSI protocol layers. He also designed the document preparation tool LaTex. Lamport is also known for creating the LaTeX typesetting system and the best-selling book, LaTeX, Second Edition, which documents it (Addison-Wesley, 1994). TLA+ has been described as exhaustively-testable pseudocode, and its use likened to drawing blueprints for software systems; TLA is an acronym for Temporal Logic of Actions. Mack W. Alford, Jean-Pierre Ansart, Günter Hommel, Leslie Lamport, Barbara Liskov, Geoff P. Mullery, Fred B. Schneider: Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich Springer 1985: 42

Leslie is employed by Microsoft Research, and has recently been working with TLA+, a language that is useful for specifying concurrent systems from a … Mack W. Alford, Jean-Pierre Ansart, Günter Hommel, Leslie Lamport, Barbara Liskov, Geoff P. Mullery, Fred B. Schneider: Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985, Munich, Germany. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It also is a very early example of the basic specification and verification method I still advocate: writing a specification as a state-transition system and showing that each step of the lower-level specification either implements a step of the higher-level one or is a "stuttering" step …

It's based on the idea that the best way to describe things precisely is with simple mathematics. Leslie Lamport has had a huge impact on the way we think about distributed system, as well as on the engineering practices of … Distributed Systems Methods and Tools for Specification. An Advanced Course. A special type of concurrent system is a distributed system, characterized by having processes that use messages to interact with each other. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.

Contact

 

LINE Contact