Skip to main content
SpringerLink
Log in

A broadcast protocol: Functional properties and specification

  • Track 10: Distributed Systems
  • Conference paper
  • First Online:
Computing in the 90's (Great Lakes CS 1989)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 507))

Included in the following conference series:

  • 105 Accesses

Abstract

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.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Chang, N.F. Maxemchuk, Reliable Broadcast Protocols, ACM ToCS, 2(3), August 1984, pp. 251–273.

    Article  Google Scholar 

  2. 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.

    Article  Google Scholar 

  3. D. Cheriton, The V Distributed System, CACM, Vol 31(3), March 1988.

    Google Scholar 

  4. L. Lamport, Time, Clocks and the Ordering of Events in a Distributed System, CACM, 21(7), July 1978, pp. 558–564.

    MATH  Google Scholar 

  5. 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. S. Ramakrishnan, A Protocol for Global Message Ordering, XX Annual Simulation & Modeling Conference, PA, May 1989, 7.

    Google Scholar 

  7. S. Ramakrishnan, A Protocol for Program Migration, XIV IEEE Conference on Local Computer Networks, MN, October 1989, pp. 219 224.

    Google Scholar 

  8. S. Ramakrishnan, Procedural Specification: Global Message Ordering Protocol, ICCC '90, submitted for publication.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Bowling Green State University, 43403, Bowling Green, Ohio

    Sub Ramakrishnan

Authors
  1. Sub Ramakrishnan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Naveed A. Sherwani Elise de Doncker John A. Kapenga

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ramakrishnan, S. (1991). A broadcast protocol: Functional properties and specification. In: Sherwani, N.A., de Doncker, E., Kapenga, J.A. (eds) Computing in the 90's. Great Lakes CS 1989. Lecture Notes in Computer Science, vol 507. Springer, New York, NY. https://doi.org/10.1007/BFb0038513

Download citation

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

  • Published:

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-0-387-97628-0

  • Online ISBN: 978-0-387-34815-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation