John S. Davis II
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M00/47
September 2000
http://www2.eecs.berkeley.edu/Pubs/TechRpts/2000/ERL-00-47.pdf
Advisor: Edward A. Lee
BibTeX citation:
@phdthesis{Davis II:M00/47, Author = {Davis II, John S.}, Title = {Order and Containment in Concurrent System Design}, School = {EECS Department, University of California, Berkeley}, Year = {2000}, Month = {Sep}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2000/3883.html}, Number = {UCB/ERL M00/47} }
EndNote citation:
%0 Thesis %A Davis II, John S. %T Order and Containment in Concurrent System Design %I EECS Department, University of California, Berkeley %D 2000 %@ UCB/ERL M00/47 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2000/3883.html %F Davis II:M00/47