{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:23Z","timestamp":1760202623483},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539827"},{"type":"electronic","value":"9783540465638"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53982-4_19","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:20:32Z","timestamp":1330208432000},"page":"338-358","source":"Crossref","is-referenced-by-count":30,"title":["A calculus of broadcasting systems"],"prefix":"10.1007","author":[{"given":"K. V. S.","family":"Prasad","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Norman Abramson. The Aloha system\u2014another alternative for computer communications. In FJCC, pages 281\u2013285, 1970.","DOI":"10.21236\/AD0707853"},{"key":"19_CR2","unstructured":"M. Ben-Ari. Principles of Concurrent and Distributed Programming. Prentice-Hall, 1990."},{"key":"19_CR3","unstructured":"G. Berry, P. Couronn\u00e9, and G. Gonthier. Synchronous programming of reactive systems: An introduction to ESTEREL. Technical Report 647, INRIA, 1986."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Bard Bloom, Sorin Istrail, and Albert R. Meyer. Bisimulation can't be traced. In 15th Symposium on Principles of Programming Languages. ACM, 1988.","DOI":"10.1145\/73560.73580"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"J. A. Bergstra, J. W. Klop, and J. V. Tucker. Process algebra with asynchronous communication mechanisms. In Seminar on Concurrency, pages 76\u201395. Carnegie-Mellon University, July 1984. Springer Verlag LNCS 197.","DOI":"10.1007\/3-540-15670-4_4"},{"issue":"1","key":"19_CR6","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/0096-0551(88)90005-7","volume":"13","author":"M. Broy","year":"1988","unstructured":"Manfred Broy. Broadcasting buffering communication. Comput. Lang., 13(1):31\u201347, 1988.","journal-title":"Comput. Lang."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"K. Mani Chandy and Jayadev Misra. Parallel Program Design\u2014A Foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"S. T. Chanson, G. W. Neufeld, and L. Liang. A bibliography on multicast and group communication. Operating Systems Review, 23(4), October 1989.","DOI":"10.1145\/70730.70733"},{"key":"19_CR9","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"Rocco de Nicola and Matthew Hennessy","year":"1984","unstructured":"Rocco de Nicola and Matthew Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83, 1984.","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"19_CR10","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1109\/TSE.1984.5010247","volume":"10","author":"N. Gehani","year":"1984","unstructured":"Narain Gehani. Broadcasting sequential processes. IEEE Trans. on Software Engg., 10(4):343, July 1984.","journal-title":"IEEE Trans. on Software Engg."},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"J.F. Groote. Transition system specifications with negative premises. In CONCUR '90, 1990. Springer Verlag LNCS 458.","DOI":"10.1007\/BFb0039069"},{"key":"19_CR12","unstructured":"Matthew Hennessy. Algebraic Theory of Processes. MIT Press, 1988."},{"key":"19_CR13","unstructured":"Matthew Hennessy. CSP with value-passing. Technical Report HPL-ISC-TM-90-025, Hewlett Packard Ltd., 1990."},{"key":"19_CR14","unstructured":"Matthew Hennessy and Anna Ingolfsdottir. A theory of communicating processes with value-passing. Technical Report 3\/89, University of Sussex, 1989. Also presented at ICALP 90."},{"issue":"8","key":"19_CR15","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. Hoare","year":"1978","unstructured":"C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666\u2013677, August 1978.","journal-title":"Communications of the ACM"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"19_CR17","unstructured":"He Jifeng, Mark Josephs, and C.A.R. Hoare. A theory of synchrony and asynchrony. Technical report, Programming Research Group, Oxford University Computing Laboratory, January 1990."},{"key":"19_CR18","unstructured":"Bengt Jonsson. A hierarchy of compositional models of I\/O automata. Technical report, Swedish Institute of Computer Science, 1990."},{"key":"19_CR19","unstructured":"Mark Josephs and Jan Udding. Delay-insensitive circuits: an algebraic approach to their design. In CONCUR '90, 1990. Springer Verlag LNCS 458."},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"R. M. Metcalfe and D. R. Boggs. Ethernet: Distributed packet switching for local computer networks. Communications of the ACM, 19(7), July 1976.","DOI":"10.1145\/360248.360253"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Robin Milner. A Calculus of Communicating Systems. Lecture Notes in Computer Science. Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"19_CR22","unstructured":"Robin Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"Amir Pnueli. Linear and branching structures in the semantics and logics of reactive systems. In Springer Verlag LNCS 194. ICALP, 1985.","DOI":"10.1007\/BFb0015727"},{"key":"19_CR24","unstructured":"M. Sloman and J. Kramer. Distributed Systems and Computer Networks. Prentice Hall, 1988."},{"key":"19_CR25","doi-asserted-by":"crossref","unstructured":"R. K. Shyamasundar, K. T. Narayana, and T. Pitassi. Semantics for nondeterministic asynchronous broadcast networks. Technical report, Pennsylvania State Univ., March 1987.","DOI":"10.1007\/3-540-18088-5_7"},{"key":"19_CR26","first-page":"423","volume":"372","author":"F. Vaandrager","year":"1989","unstructured":"Frits Vaandrager and Jan Groote. Structured operational semantics and bisimulation as a congruence. In Springer Verlag LNCS 372, pages 423\u2013438. ICALP, 1989.","journal-title":"Springer Verlag LNCS"},{"key":"19_CR27","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0304-3975(84)90112-9","volume":"34","author":"G. Winskel","year":"1984","unstructured":"Glynn Winskel. Synchronization trees. Theoretical Computer Science, 34:33\u201382, 1984.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53982-4_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:34:25Z","timestamp":1640921665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53982-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539827","9783540465638"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-53982-4_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}