Application of deductive synthesis techniques to the rapid assembly of grid applications

Search results

  • 2009

    Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic

    Dixon, L., Smaill, A. & Bundy, A., 2009, Workshop on Verification and Validation of Planning and Scheduling Systems: ICALP 2009. 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2005

    Deductive Synthesis of Workflows for E-Science

    Yang, B., Bundy, A., Smaill, A. & Dixon, L., May 2005, IEEE International Symposium on Cluster Computing and the Grid, 2005. p. 168 - 175 Vol. 1

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File