...
This is the resource page for Nick Vrvilo's Master's 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 publications page.
K-Framework Graphical Models
...