Sabina Petride
Uri Abraham's Models for Concurrency
Robert Constable and Sabina Petride, January 27, 2003
The Calculemus Autumn School
Christoph Kreitz, Matthew Fluet, and Sabina Petride, October 28, 2002
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu