{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:22:24Z","timestamp":1742390544284},"reference-count":16,"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\/bf02280830","type":"journal-article","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T12:49:59Z","timestamp":1138193399000},"page":"81-91","source":"Crossref","is-referenced-by-count":18,"title":["Efficient detection of a class of stable properties"],"prefix":"10.1007","volume":"8","author":[{"given":"Keith","family":"Marzullo","sequence":"first","affiliation":[]},{"given":"Laura S.","family":"Sabel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02280830_CR1","unstructured":"Babao\u011dlu \u00d6, Marzullo K: Consistent global states of distributed systems: fundamental concepts and mechanisms (chapter 4), pp 55\u201396. ACM, 1993. Edited by Sape Mullender"},{"issue":"3","key":"BF02280830_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 group multicast. ACM Trans Comput Syst 9(3):272\u2013314 (1991)","journal-title":"ACM Trans Comput Syst"},{"key":"BF02280830_CR3","doi-asserted-by":"crossref","unstructured":"Bracha G, Toueg S: A distributed algorithm for generalized deadlock detection. In: Proceedings of the Third Symposium on Principles of Distributed Computing, pp 285\u2013301. ACM SIGPLAN\/SIGOPS, August 1984","DOI":"10.1145\/800222.806756"},{"issue":"1","key":"BF02280830_CR4","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":"3","key":"BF02280830_CR5","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1145\/5956.5958","volume":"8","author":"KM Chandy","year":"1986","unstructured":"Chandy KM, Misra J: An example of stepwise refinement of distributed programs: quiescence detection. ACM Trans Program Lang Syst 8(3):326\u2013343 (1986)","journal-title":"ACM Trans Program Lang Syst"},{"issue":"2","key":"BF02280830_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"},{"issue":"1","key":"BF02280830_CR7","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 Process Lett 11(1):1\u20134 (1980)","journal-title":"Inf Process Lett"},{"key":"BF02280830_CR8","unstructured":"Holt RC: On deadlock in computer systems. PhD thesis, Cornell University, 1971"},{"issue":"7","key":"BF02280830_CR9","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"},{"issue":"3","key":"BF02280830_CR10","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(3):161\u2013175 (1987)","journal-title":"Distrib Comput"},{"key":"BF02280830_CR11","unstructured":"Mattern F: Time and global states of distributed systems. In: M Cosnard et al. (eds) Proceedings of the International Workshop on Parallel and Distributed Algorithms. North-Holland 1989, pp. 215\u2013226"},{"key":"BF02280830_CR12","doi-asserted-by":"crossref","unstructured":"Misra J: Detecting termination of distributed computations using markers. In: Proceedings of the Second Symposium on Principles of Distributed Computing, pp 290\u2013294. ACM SIGPLAN\/SIGOPS, August 1983","DOI":"10.1145\/800221.806729"},{"issue":"3","key":"BF02280830_CR13","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1145\/357172.357178","volume":"4","author":"S Owicki","year":"1982","unstructured":"Owicki S, Lamport L: Proving liveness properties of concurrent programs. ACM Trans Program Lang Syst 4(3):455\u2013495 (1982)","journal-title":"ACM Trans Program Lang Syst"},{"key":"BF02280830_CR14","unstructured":"Peterson L L: Preserving context information in an IPC abstraction. In: Proceedings of the 6th Symposium on Reliability in Distributed Software and Database Systems, pp 22\u201331 (1987)"},{"key":"BF02280830_CR15","doi-asserted-by":"crossref","unstructured":"Schiper A, Sandoz A: Strong stable properties in distributed systems. Distrib Comput 8(3)","DOI":"10.1007\/BF02280831"},{"issue":"3","key":"BF02280830_CR16","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF02277859","volume":"7","author":"R Schwarz","year":"1994","unstructured":"Schwarz R, Mattern F: Detecting causal relationships in distributed computations: in search for the holy grail. Distrib Comput 7(3): 149\u2013174 (1994)","journal-title":"Distrib Comput"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02280830.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02280830\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02280830","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\/BF02280830"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,10]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,10]]}},"alternative-id":["BF02280830"],"URL":"https:\/\/doi.org\/10.1007\/bf02280830","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"value":"0178-2770","type":"print"},{"value":"1432-0452","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,10]]}}}