lamport.azurewebsites.net: 10 stories from 9 submitters

  1. 16
    A Science of Concurrent Programs book formalmethods lamport.azurewebsites.net
    danielcompton avatar via danielcompton 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 18
    The Future of TLA+ pdf formalmethods lamport.azurewebsites.net
    hwayne avatar via hwayne 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  3. 1
    Teaching Concurrency (2009) pdf education formalmethods lamport.azurewebsites.net
    danlamanna avatar via danlamanna 6 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 9
    PlusCal Tutorial formalmethods lamport.azurewebsites.net
    hwayne avatar via hwayne 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 24
    TLA+ Video Course by Leslie Lamport debugging distributed formalmethods lamport.azurewebsites.net
    asindu avatar via asindu 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 9
    How to Write a Proof (1993) Lamport pdf formalmethods math practices lamport.azurewebsites.net
    nickpsecurity avatar via nickpsecurity 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  7. 3
    Multiple Byte Processing with Full-Word Instructions - Leslie Lamport (1975) pdf programming lamport.azurewebsites.net
    inactive-user avatar via inactive-user 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 5
    The Future of Computing: Logic or Biology (2003) pdf programming lamport.azurewebsites.net
    pushcx avatar via pushcx 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  9. 16
    TLA+ Video Course video formalmethods lamport.azurewebsites.net
    jreut avatar via jreut 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  10. 17
    Introduction to TLA+ video distributed math lamport.azurewebsites.net
    spacejam avatar via spacejam 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments