VERIFICATION OF COMMUNICATION IN DISTRIBUTED SYSTEM SOFTWARE.

Stephen S. Yau, Ruenn Sheng Wang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

Distributed computing systems have great advantages over centralized computing systems in various applications, but they are also much more complicated to develop, especially their software. One of the major complications in developing such a software system is the process communication. In this paper, an approach to verification of communication in the distributed computing system software is presented. Proof rules for communication statements and techniques for handling complicated system execution sequences are developed so that distributed computing system software using various communication mechanisms can be verified.

Original languageEnglish (US)
Title of host publicationUnknown Host Publication Title
EditorsKane H. Kim, K. Chon, C.V. Ramamoorthy
PublisherNorth-Holland
Pages489-503
Number of pages15
ISBN (Print)0444700226
StatePublished - Dec 1 1986
Externally publishedYes

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'VERIFICATION OF COMMUNICATION IN DISTRIBUTED SYSTEM SOFTWARE.'. Together they form a unique fingerprint.

  • Cite this

    Yau, S. S., & Wang, R. S. (1986). VERIFICATION OF COMMUNICATION IN DISTRIBUTED SYSTEM SOFTWARE. In K. H. Kim, K. Chon, & C. V. Ramamoorthy (Eds.), Unknown Host Publication Title (pp. 489-503). North-Holland.