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.
Advisor: 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