{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:20:01Z","timestamp":1742617201613,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581840"},{"type":"electronic","value":"9783540484776"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58184-7_93","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:32:07Z","timestamp":1330270327000},"page":"97-108","source":"Crossref","is-referenced-by-count":0,"title":["Voting on synchronous communications"],"prefix":"10.1007","author":[{"given":"Richard P.","family":"Hopkins","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"issue":"11","key":"9_CR1","first-page":"36","volume":"22","author":"R. J. Abbot","year":"1990","unstructured":"R. J. Abbot. Resourceful Systems for Fault Tolerance, Relilability and Safety. Computing Surveys, 22(11):36\u201368, March 1990.","journal-title":"Computing Surveys"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"E. Best, R. Devillers, and Javier Esparza. General Refinement and Recursion for the Box Calculus. Technical report, Department of Computer Science, University of Hildesheim, 1992.","DOI":"10.1007\/3-540-56503-5_16"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"E. Best, R. Devillers, and J. Hall. The Box Calculus: a New Causal Algebra with Multi-label Comunication. In G. Rozenberg, editor, Advances in Petri Nets: Special DEMON Issue, volume 609 of Lecture Notes in Computer Science, pages 21\u201369. Springer-Verlag, June 1992.","DOI":"10.1007\/3-540-55610-9_167"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"E. Best and R. P. Hopkins. B(PN)2 \u2014 A Basic Petri Net Programmming Notation. In Proceedings of PA RLE'93, volume 694 of Lecture Notes in Computer Science, pages 379\u2013390. Springer-Verlag, June 1993.","DOI":"10.1007\/3-540-56891-3_30"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S. D. Brookes","year":"1984","unstructured":"S. D. Brookes, C. A. R. Hoare, and A. W. Roscoe. A Theory of Communicating Sequential Processes. Journal of the ACM, 31:560\u2013599, 1984.","journal-title":"Journal of the ACM"},{"issue":"5","key":"9_CR6","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/323627.323635","volume":"19","author":"E. C. Cooper","year":"1985","unstructured":"E. C. Cooper. Replicated Distributed Programs. In Proceedings of the 10th ACM Symposium on Operating Systems Principles, volume 19(5) of Operating Systems Review, pages 63\u201378, December 1985.","journal-title":"Proceedings of the 10th ACM Symposium on Operating Systems Principles"},{"key":"9_CR7","unstructured":"R. P. Hopkins. Voting communications in networks of concurrent processes. Technical report, University of Newcastle upon Tyne, 1993."},{"key":"9_CR8","unstructured":"INMOS. OCCAM 2 Reference Manual. Prentice Hall, 1988."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"M. Koutny, L. V. Mancini, and G. Pappalardo. Formalising Replicated Distributed Processing. In Proceedings of the 10th Symposium on Reliable Distributed Systems, pages 108\u2013117, December 1991.","DOI":"10.1109\/RELDIS.1991.145412"},{"key":"9_CR10","first-page":"175","volume-title":"volume 331 of Lecture Notes in Computer Science","author":"L.V Mancini","year":"1988","unstructured":"L.V, Mancini and G. Pappalardo. Towards a Theory of Replicated Processing. In Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 331 of Lecture Notes in Computer Science, pages 175\u2013192, Warwick, U.K., September 1988. Springer Verlag."},{"key":"9_CR11","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"issue":"11","key":"9_CR12","first-page":"300","volume":"22","author":"F. D. Schneider","year":"1990","unstructured":"F. D. Schneider. Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial. Computing Surveys, 22(11):300\u2013319, December 1990.","journal-title":"Computing Surveys"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/0304-3975(85)90093-3","volume":"37","author":"R. Simone De","year":"1985","unstructured":"R. De Simone. Higher Level Synchronising Devices in MEIJE-SCCS. Theoretical Computer Science, 37:245\u2013267, 1985.","journal-title":"Theoretical Computer Science"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"A. Tully and S. K. Shrivastava. Preventing State Divergence in Replicated Distributed Program. In Proceedinggs of the 9th Symposium on Reliable Distributed Systems, pages 104\u2013113, Huntsville, Alabama, October 1989.","DOI":"10.1109\/RELDIS.1990.93956"},{"key":"9_CR15","unstructured":"P. H. J. van Eijk, C. A. Vissers, and M. Diaz, editors. The Formal Description Technique LOTOS. North Holland, 1989."}],"container-title":["Lecture Notes in Computer Science","PARLE'94 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58184-7_93.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:23:11Z","timestamp":1742595791000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58184-7_93"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581840","9783540484776"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-58184-7_93","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}