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
    Pages84
    Publication statusPublished - 1996
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameResearch Report
    PublisherDigital Systems Laboratory, Helsinki University of Technology
    No.A37

    Cite this