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