September 2011 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Tue Sep 6 14:22:13 PDT 2011
Ending: Fri Sep 30 14:20:17 PDT 2011
Messages: 31

• [cap-talk] LMAX   Dan Bornstein
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ... and program verification mea culpa   Jed Donnelley
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ... and program verification mea culpa   Jed Donnelley
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ... and program verification mea culpa   Jed Donnelley
• [cap-talk] does e-monkey engine have persistent processes?   Bill Frantz
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ... and program verification mea culpa   Dave Chizmadia - GMail
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ...and program verification mea culpa   Dave Chizmadia - GMail
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ...andprogram verification mea culpa   Ken
• [cap-talk] Invitation to connect on LinkedIn   Ben Kloosterman
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ... and program verification mea culpa   Ben Kloosterman
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ...and program verification mea culpa   Ben Kloosterman
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ...andprogram verification mea culpa   Ben Kloosterman
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ...andprogram verification mea culpa   Ben Kloosterman
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ...andprogram verification mea culpa   Ben Kloosterman
• [cap-talk] Capability modelling tools   Thomas Leonard
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ... and program verification mea culpa   William ML Leslie
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ... and program verification mea culpa   Sandro Magi
• [cap-talk] does e-monkey engine have persistent processes?   Rob Meijer
• [cap-talk] Making MinorFs usable for browsers and bitcoin like apps.   Rob Meijer
• [cap-talk] [friam] Apple goes least-authority: “Lion” has a powerbox.   David Mercer
• [cap-talk] Capability modelling tools   David Nicol
• [cap-talk] does e-monkey engine have persistent processes?   David Nicol
• [cap-talk] does e-monkey engine have persistent processes?   David Nicol
• [cap-talk] LMAX   David Nicol
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ... and program verification mea culpa   Jonathan S. Shapiro
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ... and program verification mea culpa   Jonathan S. Shapiro
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ... and program verification mea culpa   Jonathan S. Shapiro
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ... and program verification mea culpa   Jonathan S. Shapiro
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ... and program verification mea culpa   Jonathan S. Shapiro
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ...and program verification mea culpa   John R. Strohm
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ...andprogram verification mea culpa   John R. Strohm

Last message date: Fri Sep 30 14:20:17 PDT 2011
Archived on: Mon Oct 3 04:21:59 PDT 2011

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...