Skip to main content
SpringerLink
Log in

Proof techniques for port-directed communication and broadcast

  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

This paper presents proof rules for port-directed communication and broadcast. The proof method is an extension of the proof technique proposed by Misra and Chandy in which input/output sequences are used to describe the state of a process or a subsystem. Various examples are presented to illustrate the use of the proof technique.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. A. Silberschatz, Port-directed communication,Computer Journal,24:1 (1981).

    Article  Google Scholar 

  2. Jin, Zhiquan, Communication and Broadcast in Concurrent Programming, to be published.

  3. C. A. R. Hoare, Communicating sequential processes,C.ACM,21:8 (1978).

    Article  Google Scholar 

  4. C. M. Levin and D. Gries, A proof technique for communicating sequential processes,Acta Inform., 15 (1981).

  5. J. Misra and K. Mani Chandy, Proofs of networks of processes,IEEE Trans. on Software Engineering, SE-7:4(1981).

    Article  MathSciNet  Google Scholar 

  6. C. A. R. Hoare, A model for communicating sequential processes, Comput. Lab., Oxford Univ., Dec. 1978.

  7. K. R. Apt, N. Francez and W.P. de Roever, A proof system for communicating sequential processes,TOPLAS, 2 (1980).

  8. S. Owicki and D. Gries, An axiomatic proof technique for parallel programs,Acta Inform., 6 (1976).

  9. C. A. R. Hoare, An axiomatic basis for computer programmingC. ACM,21:8 (1978).

    Article  Google Scholar 

  10. Jin Zhiquan and A. Silberschatz, Port-directed broadcast, in Proc. 1985 Conf. on Information Sciences and Systems, March (1985).

Download references

Author information

Authors and Affiliations

  1. Nanjing University, Nanjing, China

    Jin Zhiquan

  2. University of Texas at Austin, U.S.A.

    A. Silberschatz

Authors
  1. Jin Zhiquan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Silberschatz
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Jin, Z., Silberschatz, A. Proof techniques for port-directed communication and broadcast. J. of Comput. Sci. & Technol. 2, 81–91 (1987). https://doi.org/10.1007/BF02973486

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02973486

Keywords

Search

Navigation