...
This is the resource page for Nick Vrvilo's Master's Thesis thesis in Computer Science, entitled Implementing Asynchronous Checkpoint/Restart for the Concurrent Collections Model. A full PDF version of this thesis is available on the Habanero Publications page.
K-Framework Graphical Models
...