Top-down and step-wise refinement of protocol specifications
By: Li Da-Hai.
Contributors: Imperial College of Science, Technology and Medicine. Department of Computing.
Publisher: Department of Computing, Imperial College of Science and Technology
Published: 1986
Place of publication: London
Language: eng
Number of pages: 287
Notes: Submitted to the University of London in partial fulfillment of the requirements for the degree of Doctor of Philosophy.