|
|
|
Size
|
LMS=FACS joint seminar
|
D J Cooke |
Fri, 23 Sep 2011 12:22:18 +0100 |
15889 lines |
**** BCS-FACS Evening Seminar byProfessor John Derrick, Mechanising a correctness proof for a lock-free concurrent stack, 21 September 2011, BCS London Offices, Covent Garden, London
|
Paul Boca |
Mon, 19 Sep 2011 22:04:38 +0100 |
65 lines |
LMS meeting
|
D J Cooke |
Sun, 11 Sep 2011 09:58:57 +0100 |
9229 lines |
RA post in FM at Sheffield
|
Paul Boca |
Tue, 6 Sep 2011 09:11:25 +0100 |
151 lines |
BCS-FACS Evening Seminar byProfessor John Derrick, Mechanising a correctness proof for a lock-free concurrent stack, 21 September 2011, BCS London Offices, Covent Garden, London
|
Paul Boca |
Thu, 1 Sep 2011 22:58:39 +0100 |
66 lines |