Order and Containment in Concurrent System Design
John S. Davis II
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M00/47
2000
http://www.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},
URL = {http://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/2000/3883.html %F Davis II:M00/47