LESLIE   LAMPORT'S   HOME   PAGE 


     



ANNOUNCEMENT:   TLA+ 
    Workshop,   27 August 2012,   Paris











The TLA Toolbox, an IDE for the
TLA+ tools, has been released.  Check it out.








 The TLA Web Page 







My Collected Works









 








My Coordinates


       37° 24' 38.7" North 
      122°  4' 20.0" West

      address: Microsoft Corporation
               1065 La Avenida
               Mountain View, CA 94043
               U.S.A.

      phone:   650 693 2725

      email:   
               I am happy to receive email from people,
               but not from spammers.  So, please do not
               put my email address on the Web in plain text.
               You may post this gif file if you wish.



 

notes