An operational and axiomatic semantics for non-determinism and sequence points in C.
Merge pull request #10 from yallop/c-non-determinism

An operational and axiomatic semantics for non-determinism and sequence points in C.
Merge pull request #11 from kayceesrk/master

Adds links to Replicated Data Types paper.
Add some links.

for "A Verified Information-Flow Architecture"
Merge pull request #12 from arthuraa/master

Add some links.
Add Sriram's web page.
Merge pull request #13 from kaoudis/master

Add Sriram's web page.