Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Proof techniques for port-directed communication and broadcast

  • 14 Accesses


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 to check access.


  1. [1]

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

  2. [2]

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

  3. [3]

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

  4. [4]

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

  5. [5]

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

  6. [6]

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

  7. [7]

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

  8. [8]

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

  9. [9]

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

  10. [10]

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

Download references

Author information

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


  • Inference Rule
  • Output Port
  • Input Port
  • Proof Technique
  • Proof Method