High-level Nets and Linear Logic

Johan Lilius

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

    Original languageEnglish
    Title of host publicationThe 13th International Conference on Application and Theory of Petri Nets, Sheffield, UK, 22.-26.6.1992
    Place of PublicationBerlin
    Pages310-319
    Publication statusPublished - 1992
    MoE publication typeA4 Article in a conference publication

    Keywords

    • category theory
    • linear logic
    • net theory

    Cite this

    Lilius, J. (1992). High-level Nets and Linear Logic. In The 13th International Conference on Application and Theory of Petri Nets, Sheffield, UK, 22.-26.6.1992 (pp. 310-319).