Streamlining progress-based derivations of concurrent programs

B. Dongol, A.J. Mooij

    Onderzoeksoutput: Boek/rapportRapportAcademic

    Originele taal-2Engels
    Plaats van productieBrisbane
    UitgeverijQueensland University
    Aantal pagina's17
    StatusGepubliceerd - 2006

    Publicatie series

    NaamTechnical Report
    VolumeSSE-2006-06

    Citeer dit