Compositional Transformational Design for Concurrent Programs

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Original languageUndefined
    Title of host publicationCompositionality: The Significant Difference. Lecture Notes in Computer Science 1536
    Place of PublicationBerlin, Germany
    PublisherSpringer
    Pages609-631
    ISBN (Print)3-540-65493-3
    Publication statusPublished - 1999

    Keywords

    • METIS-118934

    Cite this

    Zwiers, J. (1999). Compositional Transformational Design for Concurrent Programs. In Compositionality: The Significant Difference. Lecture Notes in Computer Science 1536 (pp. 609-631). Berlin, Germany: Springer.