{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:09:56Z","timestamp":1725455396500},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540193661"},{"type":"electronic","value":"9783540392392"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/bfb0019818","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T05:25:50Z","timestamp":1131859550000},"page":"388-407","source":"Crossref","is-referenced-by-count":0,"title":["On the existence of generic broadcast algorithms in networks of Communicating Sequential Processes"],"prefix":"10.1007","author":[{"given":"Luc","family":"Boug\u00e9","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"D. Angluin, Local and global properties in networks of processes, Proc. 12th Ann. ACM Symp. Theory Comp., Los Angeles, Calif. (1980) 82\u201393.","DOI":"10.1145\/800141.804655"},{"issue":"3","key":"29_CR2","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/579.584","volume":"6","author":"K.R. Apt","year":"1984","unstructured":"K.R. Apt, N. Francez, Modelling the distributed termination convention of CSP, ACM Trans. Prog. Lang. Syst. 6, 3 (1984) 370\u2013379.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"29_CR3","unstructured":"K. Apt, J.-L. Richier, Real time clocks versus virtual clocks, Rept. No. 84-34, LITP, Univ. Paris 7, Paris (1984), to appear in ACM Trans. Prog. Lang. and Syst."},{"key":"29_CR4","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0304-3975(87)90005-3","volume":"49","author":"L. Bouge'","year":"1987","unstructured":"L. Bouge', Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP, Special issue on ICALP'85, Theor. Comp. Science 49 (1987) 145\u2013169.","journal-title":"Theor. Comp. Science"},{"key":"29_CR5","unstructured":"L. Boug\u00e9, Symmetry and genericity for CSP distributed systems, Rept. No. 85-32, LITP, Univ. Paris 7, Paris (May 1985). Submitted to Distributed Computing."},{"key":"29_CR6","unstructured":"L. Boug\u00e9, On the existence of symmetric algorithms to find leaders in networks of Communicating Sequential Processes, Rept. No. 86-18, LITP, Univ. Paris 7, Paris (1986). To appear in Acta Informatica."},{"key":"29_CR7","unstructured":"L. Boug\u00e9, Genericity and symmetry for distributed systems; the case of CSP, th\u00e8se d'\u00e9tat, Rept. No. 87\/1, LIENS, Paris (March 1987). In French."},{"issue":"2","key":"29_CR8","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/69624.357208","volume":"5","author":"G.N. Buckley","year":"1983","unstructured":"G.N. Buckley, A. Silberschatz, An effective implementation of the generalized input-output construct of CSP, ACM Trans. Prog. Lang. Syst. 5, 2 (1983) 223\u2013235.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"29_CR9","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0020-0190(83)90092-3","volume":"16","author":"E.W. Dijkstra","year":"1983","unstructured":"E.W. Dijkstra, W.H.J. Feijen, A.J.M. van Gasteren, Derivation of a termination detection algorithm for distributed computations, Inf. Proc. Letters 16 (1983) 217\u2013219.","journal-title":"Inf. Proc. Letters"},{"key":"29_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0020-0190(80)90021-6","volume":"11","author":"E.W.G. Dijkstra","year":"1980","unstructured":"E.W.G. Dijkstra, C.S. Scholten, Termination detection for diffusing computations, Inf. Proc. Letters 11 (1980) 1\u20134.","journal-title":"Inf. Proc. Letters"},{"key":"29_CR11","unstructured":"S. Even, Graph algorithms (Computer Science Press, 1979)."},{"key":"29_CR12","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/357084.357087","volume":"2","author":"N. Francez","year":"1980","unstructured":"N. Francez, Distributed termination, ACM Trans. Prog. Lang. Syst. 2 (1980) 42\u201355.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"issue":"6","key":"29_CR13","doi-asserted-by":"publisher","first-page":"840","DOI":"10.1109\/TCOM.1979.1094473","volume":"COM-27","author":"S.G. Finn","year":"1979","unstructured":"S.G. Finn, Resynch procedures and a fail-safe network protocol, IEEE Trans. Comm. COM-27, 6 (1979) 840\u2013845.","journal-title":"IEEE Trans. Comm."},{"key":"29_CR14","volume-title":"Distributed state exploration for protocol validation, Report No. 185","author":"M.G. Gouda","year":"1981","unstructured":"M.G. Gouda, Distributed state exploration for protocol validation, Report No. 185, Dept. Computer Science, Univ. Texas, Austin, Texas (1981)."},{"key":"29_CR15","doi-asserted-by":"publisher","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, Comm. ACM 21 (1978) 666\u2013677.","journal-title":"Comm. ACM"},{"key":"29_CR16","unstructured":"Inmos Ltd., Occam programming manual (Prentice-Hall, 1984)."},{"key":"29_CR17","unstructured":"G. Jones, On guards, Proc. 7th Occam User Group Meeting and Workshop on Parallel Programming of Transputer based Machines (T. Muntean, ed.), Grenoble, France (Sept. 1987)."},{"key":"29_CR18","doi-asserted-by":"crossref","unstructured":"E. Korach, S. Moran, S. Zaks, Tight lower bounds and upper bounds to some distributed algorithms for a complete network of processors; Proc. 3rd Ann. ACM Symp. on Distr. Comp., Vancouver, B.C., Canada (Aug. 1984) 199\u2013207.","DOI":"10.1145\/800222.806747"},{"key":"29_CR19","unstructured":"G. Plotkin, An operational semantics for CSP, in: D. Bjorner, ed., Formal Description of Programming Concepts, IFIP TC-2 Working Conference, Garmish-Partenkirchen, Germany, 1982, (North-Holland, 1983) 199\u2013223."},{"key":"29_CR20","unstructured":"J.-M. Helary, C. Jard, N. Plouzeau, M. Raynal, La d\u00e9tection de propri\u00e9t\u00e9s stables pour les applications distribu\u00e9es, Rept. No. 342, IRISA, Rennes, France (Jan. 1987)."},{"key":"29_CR21","volume-title":"Distributed termination in CSP \u2014 symmetric solutions with minimal storage, Rept. No. 84-49","author":"J.-L. Richier","year":"1984","unstructured":"J.-L. Richier, Distributed termination in CSP \u2014 symmetric solutions with minimal storage, Rept. No. 84-49, LITP, Univ. Paris 7, Paris (1984)."},{"key":"29_CR22","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/TIT.1983.1056620","volume":"1","author":"A. Segall","year":"1983","unstructured":"A. Segall, Distributed network protocols, IEEE Trans. Inf. Theory IT-29, 1 (1983) 23\u201335.","journal-title":"IEEE Trans. Inf. Theory IT-29"},{"key":"29_CR23","doi-asserted-by":"crossref","unstructured":"N. Shavit, N. Francez, Efficient detection of locally-indicative stable properties, Proc. Int. Coll. Automata, Languages and Prog., Rennes, 1986, Lect. Notes Comp. Science 194 (Springer, 1986).","DOI":"10.1007\/3-540-16761-7_84"},{"key":"29_CR24","volume-title":"General symmetric distributed termination detection, Rept. No. RUU-CS-86-2","author":"R.B. Tan","year":"1986","unstructured":"R.B. Tan, J. van Leeuwen, General symmetric distributed termination detection, Rept. No. RUU-CS-86-2, Dept. Comp. Science, Rijksuniversitet, Utrecht, Pays-Bas (1986)."},{"key":"29_CR25","volume-title":"A distributed path algorithm and its correctness proof, Rept. No. TR 83-556","author":"D.D. Wright","year":"1983","unstructured":"D.D. Wright, F.B. Schneider, A distributed path algorithm and its correctness proof, Rept. No. TR 83-556, Dept. of Computer Science, Cornell Univ., Ithaca, New York (1983)."}],"container-title":["Lecture Notes in Computer Science","Distributed Algorithms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019818","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T20:39:29Z","timestamp":1586551169000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019818"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540193661","9783540392392"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0019818","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}