This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Chang Jo-Mei, Simplifying Distributed Database Systems Design by Using a Broadcast Network, ACM Conference on Data Bases,, 1984, pp. 223–233.
Farber,D, Feldman,J and et. al, The Distributed Computing System, IEEE Computer Society International Conference,, Feb 1973, pp. 31–34.
Francez, N, Lehman, D and Pnueli, A, A Linear History Semantics for Languages for Distributed Programming, TCS 32, (1984), pp. 25–46.
Gehani, N, Broadcast Sequential Processes, IEEE Trans. on Software Eng. 10, 4 (1984), pp. 343–351.
Hoare, C.A.R, Communicating Sequential Processes, Comm. ACM 20, 8 (1978), pp. 666–676.
Hoare,C.A.R, Communicating Sequential Processes, Prentice-Hall International,, 1985.
Huizing,C, Gerth,R and De Roever,W.P, Full Abtraction of a Real-Time Denotational Semantics for an Occam- like Language, POPLS,, 1987.
Jonsson Bengt, A Model and Proof System for Asynchronous Networks, PODC,, 1985, pp. 49–58.
Koymans,R, Shyamasundar,R.K and DeRoever,W.P.,Gerth,R.,ArunKumar,S., Compositional Denotational Semantics for Real-Time Distributed Computing, LNCS 193,, 1985.
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.
Metcalfe, R.M and Boggs, D.R, Ethernet: Distributed Packet Switching for Local Computer Networks, Comm. ACM 19, 7 (Jul 1976), pp. 395–404.
Misra, J and Chandy, K.M, Proofs of Networks of Processes, IEEE Trans. on Software Eng. 7, 4 (1981), pp. 417–426.
Salwicki,A and Muldner,T, On the Algorithmic Properties of Concurrent Programs, LNCS 125, (1981),, Springer-Verlag.
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.
Schneider, F.B, Synchronization in Distributed Programs, ACM Trans. Prog. Lang. and Systems 4, 2 (Apr 1982), pp. 179–195.
Segall, A and Awerbuch, B, A reliable Broadcast Protocol, IEEETCommn 31, 7 (1983), pp. 896–901.
Shyamasundar,R.K., Narayana,K.T. and Pitassi,T, Semantics of Nondeterministic Asynchronous Broadcast Networks, Technical Report, Pennysvania State University,, March 1987.
Wall,D.W, in Mechanisms for Broadcasts and Selective Broadcasts, Computer Science Department, Stanford University, 1980. Ph.D Thesis.
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.
Author information
Authors and Affiliations
Editor information
Rights 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