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

Reference:

Tino Pyssysalo. An induction theorem for ring protocols of processes described with predicate/transition nets. Research Report A37, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, April 1996.

Suggested BibTeX entry:

@techreport{HUT-TCS-A37,
    address = {Espoo, Finland},
    author = {Tino Pyssysalo},
    institution = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
    month = {April},
    number = {A37},
    pages = {84},
    title = {An Induction Theorem for Ring Protocols of Processes Described with Predicate/Transition Nets},
    type = {Research Report},
    year = {1996},
}