A confluent semantic basis for the analysis of concurrent constraint logic programs

Michael Codish, Moreno Falaschi, Kim Marriott, William Winsborough

    Research output: Contribution to journal › Article › Research › peer-review

    8 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)53 - 81
    Number of pages29
    JournalJournal of Logic Programming
    Publication statusPublished - 1997

    Cite this

    Codish, Michael ; Falaschi, Moreno ; Marriott, Kim ; Winsborough, William. / A confluent semantic basis for the analysis of concurrent constraint logic programs. In: Journal of Logic Programming. 1997 ; pp. 53 - 81.
    @article{abcdfbeda177412280146706b3725a52,
    title = "A confluent semantic basis for the analysis of concurrent constraint logic programs",
    author = "Michael Codish and Moreno Falaschi and Kim Marriott and William Winsborough",
    year = "1997",
    language = "English",
    pages = "53 -- 81",
    journal = "Journal of Logic Programming",
    issn = "0743-1066",

    }

    Codish, M, Falaschi, M, Marriott, K & Winsborough, W 1997, 'A confluent semantic basis for the analysis of concurrent constraint logic programs', Journal of Logic Programming, pp. 53 - 81.

    A confluent semantic basis for the analysis of concurrent constraint logic programs. / Codish, Michael; Falaschi, Moreno; Marriott, Kim; Winsborough, William.

    In: Journal of Logic Programming, 1997, p. 53 - 81.

    Research output: Contribution to journal › Article › Research › peer-review

    TY - JOUR

    T1 - A confluent semantic basis for the analysis of concurrent constraint logic programs

    AU - Codish, Michael

    AU - Falaschi, Moreno

    AU - Marriott, Kim

    AU - Winsborough, William

    PY - 1997

    Y1 - 1997

    M3 - Article

    SP - 53

    EP - 81

    JO - Journal of Logic Programming

    JF - Journal of Logic Programming

    SN - 0743-1066

    ER -

    Codish M, Falaschi M, Marriott K, Winsborough W. A confluent semantic basis for the analysis of concurrent constraint logic programs. Journal of Logic Programming. 1997;53 - 81.