|NeSC Bibliographic Database|
Iktara in ConCert: Realizing a Certified Grid Computing Framework from a Programmer's Perspective
Contributing Organisation(s): Carnegie Mellon University
Field of Science: Computer Science
Abstract: This thesis is based on the ConCert project and more specifically, presents a grid-programming model and a case study of the intuitionistic linear logic or Iktara application.
|Last Updated: 22 Jun 12 11:01|