An Induction Theorem for Ring Protocols of Processes Describes Using Predicate/Transition Nets

Reference:

Tino Pyssysalo. An Induction Theorem for Ring Protocols of Processes Describes Using Predicate/Transition Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1996.

Suggested BibTeX entry:

@phdthesis{PyssysaloLic,
    author = {Pyssysalo, Tino},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
    title = {An Induction Theorem for Ring Protocols of Processes Describes Using Predicate/Transition Nets},
    type = {Licentiate's thesis},
    year = {1996},
}