Verification of communications protocols and abstract process models
Benedetto L. Di Vito · 1982
PROCESS MODELS Benedetto Lorenzo Di Vito Technical Report 25 August 1982 Institute for Computing Science 2100 Main Building The University of Texas at Austin Austin, Texas 78712 (512) 471-1901 Institute for Computing Science The University of Texas at Austin Austin, Texas 78712 acknowledgements I would like to heartily thank my co-supervisors, Don Good and Simon Lam, for their guidance and advice during the course of my research. I am particularly indebted to Don Good for providing me with financial support through the Institute for Computing Science. The other members of my dissertation committee, Jim Browne, Mani Chandy and Jay Misra, were a valuable source of wisdom and encouragement. I am fortunate to have had such a distinguished committee. Several other individuals have contributed in various ways to the completion of my thesis. Carl Sunshine and Mohamed Gouda graciously offered critiques of parts of this work while it was in progress. I have had helpful discussions ...