{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:17:09Z","timestamp":1742393829168},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1994,10,1]],"date-time":"1994-10-01T00:00:00Z","timestamp":780969600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib Comput"],"published-print":{"date-parts":[[1994,10]]},"DOI":"10.1007\/bf02280831","type":"journal-article","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T12:49:59Z","timestamp":1138193399000},"page":"93-103","source":"Crossref","is-referenced-by-count":13,"title":["Strong stable properties in distributed systems"],"prefix":"10.1007","volume":"8","author":[{"given":"Andr\u00e9","family":"Schiper","sequence":"first","affiliation":[]},{"given":"Alain","family":"Sandoz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02280831_CR1","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0167-8191(89)90127-0","volume":"9","author":"DI Bevan","year":"1989","unstructured":"Bevan DI: An efficient reference counting solution to the distributed garbage collection problem. Parallel Comput 9: 179\u2013192 (1989)","journal-title":"Parallel Comput"},{"issue":"3","key":"BF02280831_CR2","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1145\/128738.128742","volume":"9","author":"K Birman","year":"1991","unstructured":"Birman K, Schiper A, Stephenson P:Lightweight causal and atomic multicast. ACM Trans Comput Syst 9(3): 272\u2013314 (1991)","journal-title":"ACM Trans Comput Syst"},{"key":"BF02280831_CR3","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01782773","volume":"2","author":"G Bracha","year":"1987","unstructured":"Bracha G, Toueg S:Distributed deadlock detection. Distrib Comput 2: 127\u2013138 (1987)","journal-title":"Distrib Comput"},{"key":"BF02280831_CR4","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1109\/TSE.1982.235573","volume":"4","author":"EJ Chang","year":"1982","unstructured":"Chang EJ:Echo algorithms: depth parallel operations on general graphs. IEEE Trans Software Eng SE-8, 4: 391\u2013401 (1982)","journal-title":"IEEE Trans Software Eng SE-8"},{"issue":"1","key":"BF02280831_CR5","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"KM Chandy","year":"1985","unstructured":"Chandy KM, Lamport L:Distributed snapshots: determining global states of distributed systems. ACM Trans Comput Syst 3(1): 63\u201375 (1985)","journal-title":"ACM Trans Comput Syst"},{"issue":"2","key":"BF02280831_CR6","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1145\/357360.357365","volume":"1","author":"KM Chandy","year":"1983","unstructured":"Chandy KM, Misra J, Haas LM:Distributed deadlock detection. ACM Trans Comput Syst 1(2): 144\u2013156 (1983)","journal-title":"ACM Trans Comput Syst"},{"key":"BF02280831_CR7","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0743-7315(90)90099-B","volume":"8","author":"S Chandrasekaran","year":"1990","unstructured":"Chandrasekaran S, Venkatesan S:A message-optimal algorithm for distributed termination detection. J Parallel Distrib Comput 8: 245\u2013252 (1990)","journal-title":"J Parallel Distrib Comput"},{"key":"BF02280831_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0020-0190(80)90021-6","volume":"11","author":"EW Dijkstra","year":"1980","unstructured":"Dijkstra EW, Scholten CS:Termination detection for diffusing computations. Inf Proc Letters 11: 1\u20134 (1980)","journal-title":"Inf Proc Letters"},{"key":"BF02280831_CR9","unstructured":"Fidge C:Timestamps in message-passing systems that preserve the partial ordering. Proc 11th Australian Computer Science Conference, Univ of Queensland, February 1988"},{"key":"BF02280831_CR10","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1145\/74818.74846","volume":"24","author":"B Goldberg","year":"1989","unstructured":"Goldberg B:Generational reference counting: a reduced-communication distributed storage reclamation scheme. Programming Languages Design and Implementation, Portland. ACM SIGPLAN Notices 24: 313\u2013321 (1989)","journal-title":"Programming Languages Design and Implementation, Portland. ACM SIGPLAN Notices"},{"key":"BF02280831_CR11","doi-asserted-by":"crossref","unstructured":"Helary J.-M, Plouzeau N, Raynal M:Computing particular snapshots in distributed systems. Proc IEEE Int Phoenix Conference on Computers and Communications, March 1990, Scottsdale","DOI":"10.1109\/PCCC.1990.101609"},{"issue":"4","key":"BF02280831_CR12","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1145\/45075.46163","volume":"19","author":"E Knapp","year":"1987","unstructured":"Knapp E:Deadlock detection in distributed databases. ACM Comput Surv 19(4): 303\u2013328 (1987)","journal-title":"ACM Comput Surv"},{"key":"BF02280831_CR13","doi-asserted-by":"crossref","unstructured":"Kshemkalyani AD, Singhal M:Correct two-phase and one-phase deadlock detection algorithms for distributed systems. Proc 2nd IEEE Symposium on Parallel and Distributed Processing, Dec 1990, Dallas, pp 126\u2013129","DOI":"10.1109\/SPDP.1990.143519"},{"key":"BF02280831_CR14","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1016\/0743-7315(86)90015-8","volume":"3","author":"TH Lai","year":"1986","unstructured":"Lai TH:Termination detection for dynamically distributed systems with non-first-in-first-out communication. J. Parallel Distrib Comput 3: 577\u2013599 (1986)","journal-title":"J. Parallel Distrib Comput"},{"issue":"7","key":"BF02280831_CR15","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport L:Time, clocks, and the ordering of events in a distributed system. Commun ACM 21(7): 558\u2013565 (1978)","journal-title":"Commun ACM"},{"key":"BF02280831_CR16","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/0020-0190(87)90125-6","volume":"25","author":"TH Lai","year":"1987","unstructured":"Lai TH, Yang TH:On distributed snapshots. Inf Proc Letters 25: 153\u2013158 (1987)","journal-title":"Inf Proc Letters"},{"key":"BF02280831_CR17","series-title":"Proc 5th Int Workshop on Distributed Algorithms","doi-asserted-by":"crossref","first-page":"273","DOI":"10.21236\/ADA237122","volume-title":"Using consistent subcuts for detecting stable properties","author":"K Marzullo","year":"1991","unstructured":"Marzullo K, Sabel L:Using consistent subcuts for detecting stable properties. TR 92-1277, Dept of Computer Science, Cornell University, 1992. A preliminary version appeared inProc 5th Int Workshop on Distributed Algorithms, Delphi Springer, Berlin Heidelberg New York, LNCS 579: 273\u2013288 (1991)"},{"key":"BF02280831_CR18","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/BF01782776","volume":"2","author":"F Mattern","year":"1987","unstructured":"Mattern F:Algorithms for distributed termination detection. Distrib Comput 2: 161\u2013175 (1987)","journal-title":"Distrib Comput"},{"key":"BF02280831_CR19","unstructured":"Mattern F:Virtual time and global states of distributed systems. In: Cosnard M, Robert Y, Quinton P, Raynal M (eds); Parallel and distributed algorithms. North-Holland, pp 215\u2013226, 1989"},{"key":"BF02280831_CR20","unstructured":"Raynal M:Distributed computation and networks. MIT Press, 1988"},{"issue":"11","key":"BF02280831_CR21","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/2.43525","volume":"22","author":"M Singhal","year":"1989","unstructured":"Singhal M:Deadlock detection in distributed systems. IEEE Comput 22(11): 37\u201348 (1989)","journal-title":"IEEE Comput"},{"key":"BF02280831_CR22","doi-asserted-by":"crossref","unstructured":"Tel G:Distributed infimun approximation. TR Dept of Computer Science, Utrecht University, 1986","DOI":"10.1007\/3-540-18740-5_98"},{"issue":"1","key":"BF02280831_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/151646.151647","volume":"15","author":"G Tel","year":"1993","unstructured":"Tel G, Mattern F:The derivation of distributed termination detection algorithms from garbage collection schemes. ACM Trans Program Lang Syst 15(1): 1\u201335 (1993)","journal-title":"ACM Trans Program Lang Syst"},{"key":"BF02280831_CR24","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/0167-6423(88)90024-X","volume":"10","author":"G Tel","year":"1988","unstructured":"Tel G, Tan RB, van Leeuwen J:The derivation of graph marking algorithms from distributed termination detection protocols. Sci Comput Program 10: 107\u2013137 (1988)","journal-title":"Sci Comput Program"},{"key":"BF02280831_CR25","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/382192.383004","volume":"1","author":"P Wegner","year":"1990","unstructured":"Wegner P:Concepts and paradigms of object-oriented programming. ACM OOPS Messenger 1: 7\u201387 (1990)","journal-title":"ACM OOPS Messenger"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02280831.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02280831\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02280831","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T12:53:45Z","timestamp":1558011225000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02280831"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,10]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,10]]}},"alternative-id":["BF02280831"],"URL":"https:\/\/doi.org\/10.1007\/bf02280831","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"value":"0178-2770","type":"print"},{"value":"1432-0452","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,10]]}}}