[cs63201] programing model literature and liveness & safety paper

[Mikhail Nesterenko]

AOS students,

The programming model that we are discussing in class is used in
the following papers

http://ceti.cse.ohio-state.edu/siefast/group/publications/arora1994tc.pdf
http://ceti.cse.ohio-state.edu/siefast/group/publications/arora1993tse.pdf
http://deneb.cs.kent.edu/~mikhail/Research/refinement.jpdc.ps

Look through the above papers, you do not have to understand the
details of the algorithms but you should get a good understanding of
the programming model.

Also, read this paper of Alpern and Schneider on formal description of
liveness and safety:

http://ecommons.library.cornell.edu/bitstream/1813/6495/1/85-650.pdf

thanks,
-- 
Mikhail