Specification and Analysis of Distributed Systems with a Large Number of Processes
Vijay K. Garg
EECS Department, University of California, Berkeley
1988
Advisors: C. V. Ramamoorthy
BibTeX citation:
@phdthesis{Garg:8400, Author= {Garg, Vijay K.}, Title= {Specification and Analysis of Distributed Systems with a Large Number of Processes}, School= {EECS Department, University of California, Berkeley}, Year= {1988}, }
EndNote citation:
%0 Thesis %A Garg, Vijay K. %T Specification and Analysis of Distributed Systems with a Large Number of Processes %I EECS Department, University of California, Berkeley %D 1988 %F Garg:8400