Summary: MEMORY MODEL SENSITIVE ANALYSIS OF
CONCURRENT DATA TYPES
Sebastian Burckhardt
A DISSERTATION
in
Computer and Information Science
Presented to the Faculties of the University of Pennsylvania in Partial
Fulfillment of the Requirements for the Degree of Doctor of Philosophy
2007
Rajeev Alur, Milo Martin
Supervisors of Dissertation
Rajeev Alur
Graduate Group Chairperson
COPYRIGHT
Sebastian Burckhardt
2007
To my wife Andrea and
my children Sasha and Ellie
iii
ABSTRACT

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania

Collections: Computer Technologies and Information Sciences