Tuesday, April 12, 2005

Leslie Lamport's Web Page

Leslie lamport has had an online web page for quite a while now. If you are looking for any of his classical papers, there are all present there. You can also find information on TLA (The Temporal Logic of Actions) as well. Check out the book on TLA+ as well.
Post a Comment