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

Project Details

StatusFinished
Effective start/end date1/01/0328/02/06

Funding

  • EPSRC: £111,354.00
  • 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
  • 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