A broadcast protocol: Functional properties and specification

  • Sub Ramakrishnan
Track 10: Distributed Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 507)


This paper concerns a reliable broadcast protocol which we have been investigating within the context of programming distributed systems [Ram1989(a)]. The protocol can be used to simplify the design of distributed computation algorithms. We prove certain important properties of this protocol and provide a concise functional specification of this protocol. The specification is required in order to help understand the behavior of the protocol.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ChM1984]
    J. Chang, N.F. Maxemchuk, Reliable Broadcast Protocols, ACM ToCS, 2(3), August 1984, pp. 251–273.CrossRefGoogle Scholar
  2. [ChL1986]
    S.R. Chandran, S. Lin, A Selective Repeat ARQ Scheme for Point-to-Multipoint Communication and its Throughput Analysis, Computer Communication Review, 16(3), August 1986, pp. 293–301.CrossRefGoogle Scholar
  3. [Che1988]
    D. Cheriton, The V Distributed System, CACM, Vol 31(3), March 1988.Google Scholar
  4. [Lam1978]
    L. Lamport, Time, Clocks and the Ordering of Events in a Distributed System, CACM, 21(7), July 1978, pp. 558–564.MATHGoogle Scholar
  5. [Moh1988]
    S. Mohan, J. Qian et al, Efficient Point-to-Point and Point-to-Multipoint Selective-Repeat ARQ Schemes with Multiple Retransmissions: A Throughput Analysis, SIGCOMM Proceedings, 1988, pp. 49–57.Google Scholar
  6. [Ram1989(a)]
    S. Ramakrishnan, A Protocol for Global Message Ordering, XX Annual Simulation & Modeling Conference, PA, May 1989, 7.Google Scholar
  7. [Ram1989(b)]
    S. Ramakrishnan, A Protocol for Program Migration, XIV IEEE Conference on Local Computer Networks, MN, October 1989, pp. 219 224.Google Scholar
  8. [Ram1990]
    S. Ramakrishnan, Procedural Specification: Global Message Ordering Protocol, ICCC '90, submitted for publication.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Sub Ramakrishnan
    • 1
  1. 1.Department of Computer ScienceBowling Green State UniversityBowling Green

Personalised recommendations