BibSonomy :: author  ::

bookmarks

publications

(139)

• Implementing dataflow with threads.
  Leslie Lamport Distributed Computing 21 163-181 (2008)
  to dblp by dblp on 2008-11-26 00:00:00
  | URL | BibTeX  
• The Mailbox Problem.
  Marcos Kawazoe Aguilera and Eli Gafni and Leslie Lamport DISC 1-15 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• LaTeX User's Guide and Document Reference Manual
  Leslie Lamport (1986)
  to imported by cabird and 4 other people on 2008-08-15 20:29:46
  | BibTeX  
• Specifying and verifying systems with TLA+.
  Leslie Lamport and John Matthews and Mark Tuttle and Yuan Yu ACM SIGOPS European Workshop 45-48 (2002)
  to dblp by dblp on 2008-04-02 00:00:00
  | URL | BibTeX  
• LaTeX: A Document Preparation System
  Leslie Lamport (1986)
  to FCA OntologyHandbook document lamport latex system typesetting by stumme and 4 other people on 2008-03-28 12:11:30
  | BibTeX  
• Distributed algorithms in TLA (abstract).
  Leslie Lamport PODC 3 (2000)
  to dblp by dblp on 2008-03-07 00:00:00
  | URL | BibTeX  
• Consensus on Transaction Commit
  Jim Gray and Leslie Lamport CoRR cs.DC/0408036 (2004)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
  Leslie Lamport (2002)
  to phd by cedricmesnage and 1 other person on 2007-12-13 15:15:17
  | URL | BibTeX  
• LaTeX User's Guide and Document Reference Manual
  Leslie Lamport (1986)
  to imported by lm77 and 4 other people on 2007-12-04 05:18:34
  | BibTeX  
• Make Index: An Index Processor For LaTeX
  L. Lamport (1987)
  to imported by bsmyth and 1 other person on 2007-11-02 23:09:02
  | BibTeX