Tachio Terauchi

EECS Department, University of California, Berkeley

Technical Report No. UCB/EECS-2006-106

August 16, 2006

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-106.pdf

This thesis describes a method for ensuring partial determinism in concurrent programs. The idea is presented in two settings: sequential processes communicating via channels and shared references and functional programming with references.

Advisors: Alexander Aiken

---

BibTeX citation:

@phdthesis{Terauchi:EECS-2006-106,
    Author= {Terauchi, Tachio},
    Title= {Types for Deterministic Concurrency},
    School= {EECS Department, University of California, Berkeley},
    Year= {2006},
    Month= {Aug},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-106.html},
    Number= {UCB/EECS-2006-106},
    Abstract= {This thesis describes a method for ensuring partial determinism in concurrent programs.  The idea is presented in two settings: sequential processes communicating via channels and shared references and functional programming with references.},
}

EndNote citation:

%0 Thesis
%A Terauchi, Tachio 
%T Types for Deterministic Concurrency
%I EECS Department, University of California, Berkeley
%D 2006
%8 August 16
%@ UCB/EECS-2006-106
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-106.html
%F Terauchi:EECS-2006-106