Type and Effect Systems: Behaviours for Concurrency

T. Amtoft, Flemming Nielson, Hanne Riis Nielson

    Research output: Book/ReportBookResearchpeer-review

    Original languageEnglish
    PublisherIC Press
    Publication statusPublished - 1999

    Cite this