Advertisement

Semantics for nondeterministic asynchronous broadcast networks

  • R. K. Shyamasundar
  • K. T. Narayana
  • T. Pitassi
Semantics, Concurrency
Part of the Lecture Notes in Computer Science book series (LNCS, volume 267)

Keywords

Parallel Composition Communicate Sequential Process Denotational Semantic Broadcast Scheme Broadcast Network 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Cha84]
    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. [FFe73]
    Farber,D, Feldman,J and et. al, The Distributed Computing System, IEEE Computer Society International Conference,, Feb 1973, pp. 31–34.Google Scholar
  3. [FLP84]
    Francez, N, Lehman, D and Pnueli, A, A Linear History Semantics for Languages for Distributed Programming, TCS 32, (1984), pp. 25–46.CrossRefGoogle Scholar
  4. [Geh84]
    Gehani, N, Broadcast Sequential Processes, IEEE Trans. on Software Eng. 10, 4 (1984), pp. 343–351.Google Scholar
  5. [Hoa78]
    Hoare, C.A.R, Communicating Sequential Processes, Comm. ACM 20, 8 (1978), pp. 666–676.CrossRefGoogle Scholar
  6. [Hoa85]
    Hoare,C.A.R, Communicating Sequential Processes, Prentice-Hall International,, 1985.Google Scholar
  7. [HGD87]
    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. [Jon85]
    Jonsson Bengt, A Model and Proof System for Asynchronous Networks, PODC,, 1985, pp. 49–58.Google Scholar
  9. [KSD85]
    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. [KSD86]
    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. [MeB76]
    Metcalfe, R.M and Boggs, D.R, Ethernet: Distributed Packet Switching for Local Computer Networks, Comm. ACM 19, 7 (Jul 1976), pp. 395–404.CrossRefGoogle Scholar
  12. [MiC81]
    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. [SaM81]
    Salwicki,A and Muldner,T, On the Algorithmic Properties of Concurrent Programs, LNCS 125, (1981),, Springer-Verlag.Google Scholar
  14. [ScS84]
    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.CrossRefGoogle Scholar
  15. [Sch82]
    Schneider, F.B, Synchronization in Distributed Programs, ACM Trans. Prog. Lang. and Systems 4, 2 (Apr 1982), pp. 179–195.CrossRefGoogle Scholar
  16. [SeA83]
    Segall, A and Awerbuch, B, A reliable Broadcast Protocol, IEEETCommn 31, 7 (1983), pp. 896–901.Google Scholar
  17. [SNP87]
    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. [Wal80]
    Wall,D.W, in Mechanisms for Broadcasts and Selective Broadcasts, Computer Science Department, Stanford University, 1980. Ph.D Thesis.Google Scholar
  19. [ZDB85]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • R. K. Shyamasundar
    • 1
    • 2
  • K. T. Narayana
    • 1
  • T. Pitassi
    • 3
  1. 1.Department of Computer ScienceThe Pennsylvania State UniversityUniversity Park, PA
  2. 2.Computer Science GroupTata Institute of Fundamental ResearchBombayIndia
  3. 3.AT&T Bell LabsColumbus

Personalised recommendations