An Induction Theorem for Ring Protocols of Processes Described with Predicate/Transition Nets

T. Pyssysalo

    Research output: Working paperProfessional

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

    Publication series

    NameResearch Report
    PublisherDigital Systems Laboratory, Helsinki University of Technology

    Cite this