Skip to main content
Springer Nature Link
Log in

Semantics for nondeterministic asynchronous broadcast networks

  • Semantics, Concurrency
  • Conference paper
  • First Online:
Automata, Languages and Programming (ICALP 1987)

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

Included in the following conference series:

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. Chang Jo-Mei, Simplifying Distributed Database Systems Design by Using a Broadcast Network, ACM Conference on Data Bases,, 1984, pp. 223–233.

    Google Scholar 

  2. Farber,D, Feldman,J and et. al, The Distributed Computing System, IEEE Computer Society International Conference,, Feb 1973, pp. 31–34.

    Google Scholar 

  3. Francez, N, Lehman, D and Pnueli, A, A Linear History Semantics for Languages for Distributed Programming, TCS 32, (1984), pp. 25–46.

    Article  Google Scholar 

  4. Gehani, N, Broadcast Sequential Processes, IEEE Trans. on Software Eng. 10, 4 (1984), pp. 343–351.

    Google Scholar 

  5. Hoare, C.A.R, Communicating Sequential Processes, Comm. ACM 20, 8 (1978), pp. 666–676.

    Article  Google Scholar 

  6. Hoare,C.A.R, Communicating Sequential Processes, Prentice-Hall International,, 1985.

    Google Scholar 

  7. Huizing,C, Gerth,R and De Roever,W.P, Full Abtraction of a Real-Time Denotational Semantics for an Occam- like Language, POPLS,, 1987.

    Google Scholar 

  8. Jonsson Bengt, A Model and Proof System for Asynchronous Networks, PODC,, 1985, pp. 49–58.

    Google Scholar 

  9. Koymans,R, Shyamasundar,R.K and DeRoever,W.P.,Gerth,R.,ArunKumar,S., Compositional Denotational Semantics for Real-Time Distributed Computing, LNCS 193,, 1985.

    Google Scholar 

  10. Koymans,R, Shyamasundar,R.K and DeRoever,W.P.,Gerth,R.,ArunKumar,S., Compositional Denotational Semantics for Real-Time Distributed Computing, Information and Control (to appear),, 1986.

    Google Scholar 

  11. Metcalfe, R.M and Boggs, D.R, Ethernet: Distributed Packet Switching for Local Computer Networks, Comm. ACM 19, 7 (Jul 1976), pp. 395–404.

    Article  Google Scholar 

  12. Misra, J and Chandy, K.M, Proofs of Networks of Processes, IEEE Trans. on Software Eng. 7, 4 (1981), pp. 417–426.

    Google Scholar 

  13. Salwicki,A and Muldner,T, On the Algorithmic Properties of Concurrent Programs, LNCS 125, (1981),, Springer-Verlag.

    Google Scholar 

  14. Schlichting, R.D and Schneider, F.B, Using Message Passing for Distributed Programming: Proof Rules and Disciplines, ACM Trans. Prog. Lang. and Systems 6, 3 (1984), pp. 402–431.

    Article  Google Scholar 

  15. Schneider, F.B, Synchronization in Distributed Programs, ACM Trans. Prog. Lang. and Systems 4, 2 (Apr 1982), pp. 179–195.

    Article  Google Scholar 

  16. Segall, A and Awerbuch, B, A reliable Broadcast Protocol, IEEETCommn 31, 7 (1983), pp. 896–901.

    Google Scholar 

  17. Shyamasundar,R.K., Narayana,K.T. and Pitassi,T, Semantics of Nondeterministic Asynchronous Broadcast Networks, Technical Report, Pennysvania State University,, March 1987.

    Google Scholar 

  18. Wall,D.W, in Mechanisms for Broadcasts and Selective Broadcasts, Computer Science Department, Stanford University, 1980. Ph.D Thesis.

    Google Scholar 

  19. Zwiers, J, De Roever, W.P and Boas Peter Van Emde, Compositionality and Concurrent Networks Soundness and Completeness of a Proof System, ICALP 1985 LNCS 194, (1985), pp. 509–519, Springer Verlag.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, The Pennsylvania State University, 16802, University Park, PA

    R. K. Shyamasundar & K. T. Narayana

  2. Computer Science Group, Tata Institute of Fundamental Research, 400 005, Bombay, India

    R. K. Shyamasundar

  3. AT&T Bell Labs, 6200 East Broad Street, 43213, Columbus, Ohio, Oh

    T. Pitassi

Authors
  1. R. K. Shyamasundar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. K. T. Narayana
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. T. Pitassi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Thomas Ottmann

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Shyamasundar, R.K., Narayana, K.T., Pitassi, T. (1987). Semantics for nondeterministic asynchronous broadcast networks. In: Ottmann, T. (eds) Automata, Languages and Programming. ICALP 1987. Lecture Notes in Computer Science, vol 267. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18088-5_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-18088-5_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18088-3

  • Online ISBN: 978-3-540-47747-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation