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},
}
|