On Invariants and Substitution Systems

J. Lilius

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

    Original languageEnglish
    Title of host publicationInternational Workshop on Concurrency, Specification and Programming, Berlin, Germany, 19.-21.11.1992
    Place of PublicationBerlin
    PublisherHumboldt-Universität
    Pages78-85
    Publication statusPublished - 1993
    MoE publication typeA4 Article in a conference publication

    Keywords

    • category theory
    • net theory

    Cite this

    Lilius, J. (1993). On Invariants and Substitution Systems. In International Workshop on Concurrency, Specification and Programming, Berlin, Germany, 19.-21.11.1992 (pp. 78-85). Humboldt-Universität.