{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:18:20Z","timestamp":1742393900229},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540516873"},{"type":"electronic","value":"9783540467502"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51687-5_37","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:12:23Z","timestamp":1330186343000},"page":"124-135","source":"Crossref","is-referenced-by-count":18,"title":["Observing global states of asynchronous distributed applications"],"prefix":"10.1007","author":[{"given":"Jean-Michel","family":"Helary","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"K. M. Chandy and L. Lamport. Distributed snapshots: determining global states of distributed systems. ACM TOCS, 63\u201375, February 1985.","DOI":"10.1145\/214451.214456"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"K. M. Chandy and J. Misra. An example of stepwise refinement of distributed programs: quiescence detection. ACM TOPLAS, 8(3), July 1986.","DOI":"10.1145\/5956.5958"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"K. M. Chandy and J. Misra. Parallel program design: a foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"issue":"3","key":"11_CR4","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TSE.1982.235418","volume":"SE-8","author":"M. J. Fischer","year":"1982","unstructured":"M. J. Fischer, N. D. Griffeth, and N. Lynch. Global states of a distributed system. IEEE trans. on soft. eng., SE-8:3:198\u2013202, may 1982.","journal-title":"IEEE trans. on soft. eng."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"J.-M. H\u00e9lary, C. Jard, N. Plouzeau, and M. Raynal. Detection of stable properties in distributed applications. 6 th ACM SIGACT-SIGOPS, Symp. Principles of Distributed Computing, Vancouver, Canada, 125\u2013136, August 1987.","DOI":"10.1145\/41840.41851"},{"key":"11_CR6","unstructured":"J.M. H\u00e9lary, N. Plouzeau, and M. Raynal. A characterization of a particular class of distributed snapshots. In Submitted to International Conference on Computing and Information (ICCI'89), Toronto, may 23\u201327 1989."},{"key":"11_CR7","unstructured":"J.M. H\u00e9lary and M. Raynal. Les parcours distribu\u00e9s de r\u00e9seaux: un outil pour la conception de protocoles. In R. Castanet et O. Rafiq, editor, CFIP'88 Ing\u00e9nierie des protocoles, pages 159\u2013170, Eyrolles, 1988."},{"key":"11_CR8","unstructured":"J.-M. H\u00e9lary and M. Raynal. Synchronisation et contr\u00f4le des syst\u00e8mes et des programmes r\u00e9partis. Eyrolles, Septembre 1988. English translation to appear, Wiley, 1990."},{"key":"11_CR9","unstructured":"J.-M. H\u00e9lary and M. Raynal. An abstract distributed iteration scheme: application to the computation of weighted shortest paths. Technology and Science of Informatics, Vol. 7, No. 3, May 1989. (In French)."},{"issue":"7","key":"11_CR10","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"L. Lamport. Time, clocks and the ordering of events in a distributed system. Communications. of the ACM, 21(7):558\u2013565, July 1978.","journal-title":"Communications. of the ACM"},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/0020-0190(87)90125-6","volume":"25","author":"T.H. Lai","year":"1987","unstructured":"T.H. Lai and T.H. Yang. On distributed snapshots. Inf. Proc. Letters, 25:153\u2013158, 1987.","journal-title":"Inf. Proc. Letters"},{"key":"11_CR12","unstructured":"F. Mattern. Virtual time and global states of distributed systems. In Cosnard, Quinton, Raynal, and Robert, editors, Proc. Int. Workshop on Parallel and Distributed Algorithms, Bonas, France, oct. 1988, North Holland, 1989."},{"key":"11_CR13","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1016\/0020-0190(85)90048-1","volume":"20","author":"C. Morgan","year":"1985","unstructured":"C. Morgan. Global and logical time in distributed algorithms. Inf. Proc. Letters, 20:290\u2013294, 1985.","journal-title":"Inf. Proc. Letters"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"F. B. Schneider. Paradigms for distributed programs. In Distributed Systems, pages 431\u2013480, Springer Verlag, 1985. LNCS 190.","DOI":"10.1007\/3-540-15216-4_18"},{"key":"11_CR15","unstructured":"K. Taylor. The role of inhibition in asynchronous consistent-cut protocols. these proceedings."},{"key":"11_CR16","unstructured":"G. Tel. Distributed Infimum Approximation. Tech. report RUU-CS-86-12, University of Utrecht, 1986."}],"container-title":["Lecture Notes in Computer Science","Distributed Algorithms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51687-5_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:22:30Z","timestamp":1605630150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51687-5_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540516873","9783540467502"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-51687-5_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}