Compositional transformational design for concurrent programs. In: Compositionality: The Significant Difference

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationProceeding of International Symposium COMPOS'97
    Place of PublicationBad Malente, Germany
    Pages609-631
    Publication statusPublished - 19 Jan 1998

    Keywords

    • METIS-119198

    Cite this

    Zwiers, J. (1998). Compositional transformational design for concurrent programs. In: Compositionality: The Significant Difference. In Proceeding of International Symposium COMPOS'97 (pp. 609-631). Bad Malente, Germany.
    Zwiers, Jakob. / Compositional transformational design for concurrent programs. In: Compositionality: The Significant Difference. Proceeding of International Symposium COMPOS'97. Bad Malente, Germany, 1998. pp. 609-631
    @inproceedings{bca3e80581e548588f5d8e6595a9d31b,
    title = "Compositional transformational design for concurrent programs. In: Compositionality: The Significant Difference",
    keywords = "METIS-119198",
    author = "Jakob Zwiers",
    year = "1998",
    month = "1",
    day = "19",
    language = "Undefined",
    isbn = "3-540-65493",
    pages = "609--631",
    booktitle = "Proceeding of International Symposium COMPOS'97",

    }

    Zwiers, J 1998, Compositional transformational design for concurrent programs. In: Compositionality: The Significant Difference. in Proceeding of International Symposium COMPOS'97. Bad Malente, Germany, pp. 609-631.

    Compositional transformational design for concurrent programs. In: Compositionality: The Significant Difference. / Zwiers, Jakob.

    Proceeding of International Symposium COMPOS'97. Bad Malente, Germany, 1998. p. 609-631.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - Compositional transformational design for concurrent programs. In: Compositionality: The Significant Difference

    AU - Zwiers, Jakob

    PY - 1998/1/19

    Y1 - 1998/1/19

    KW - METIS-119198

    M3 - Conference contribution

    SN - 3-540-65493

    SP - 609

    EP - 631

    BT - Proceeding of International Symposium COMPOS'97

    CY - Bad Malente, Germany

    ER -

    Zwiers J. Compositional transformational design for concurrent programs. In: Compositionality: The Significant Difference. In Proceeding of International Symposium COMPOS'97. Bad Malente, Germany. 1998. p. 609-631