High Level Distributed Transition Systems in Categories

N. Husberg

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationEspoo
    Publication statusPublished - 1992
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameDigital Systems Laboratory, Series A: Research Reports
    PublisherHelsinki University of Technology
    No.19

    Keywords

    • algebraic theories
    • category theory
    • concurrency
    • distributed transition systems
    • Petri nets

    Cite this