Skip to main navigation Skip to search Skip to main content

Streamlining progress-based derivations of concurrent programs

  • B. Dongol
  • , A.J. Mooij

    Research output: Book/ReportReportAcademic

    Original languageEnglish
    Place of PublicationBrisbane
    PublisherQueensland University
    Number of pages17
    Publication statusPublished - 2006

    Publication series

    NameTechnical Report
    VolumeSSE-2006-06

    Cite this