On the Uniqueness of fixpoints modulo observation congruence

Hendrik Brinksma

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    3 Citations (Scopus)
    Original languageUndefined
    Title of host publicationCONCUR '92, Lecture notes in Computer Science 630
    PublisherSpringer
    Pages47-61
    Number of pages0
    Publication statusPublished - 1992

    Keywords

    • METIS-118913

    Cite this

    Brinksma, H. (1992). On the Uniqueness of fixpoints modulo observation congruence. In CONCUR '92, Lecture notes in Computer Science 630 (pp. 47-61). Springer.