{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T13:40:02Z","timestamp":1736084402331,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540552369"},{"type":"electronic","value":"9783540467892"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0022452","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:03:27Z","timestamp":1131861807000},"page":"254-272","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Detection of global state predicates"],"prefix":"10.1007","author":[{"given":"Keith","family":"Marzullo","sequence":"first","affiliation":[]},{"given":"Gil","family":"Neiger","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"issue":"1","key":"19_CR1","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/7351.7478","volume":"5","author":"K. P. Birman","year":"1987","unstructured":"Kenneth P. Birman and Thomas A. Joseph. Reliable communication in the presence of failures. ACM Transactions on Computer Systems, 5(1):47\u201376, February 1987.","journal-title":"ACM Transactions on Computer Systems"},{"issue":"1","key":"19_CR2","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K. Mani Chandy","year":"1985","unstructured":"K. Mani Chandy and Leslie Lamport. Distributed snapshots: determining global states of distributed systems. ACM Transactions on Computer Systems, 3(1):63\u201375, February 1985.","journal-title":"ACM Transactions on Computer Systems"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Robert C. B. Cooper and Keith Marzullo. Consistent detection of global predicates. In Proceedings of the ACM\/ONR Workshop on Parallel and Distributed Debugging, pages 163\u2013173. ACM\/ONR, 1991.","DOI":"10.1145\/122759.122774"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"C. J. Fidge. Partial orders for parallel debugging. In SIGPLAN\/SIGOPS Workshop on Parallel and Distributed Debugging, pages 183\u2013194. ACM, 1988.","DOI":"10.1145\/69215.69233"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"David Garlan and Ehsan Ilias. Low-cost, adaptable tool integration policies for integrated environments. In Proceedings of the Fourth Symposium on Software Development Environments, pages 1\u201310. ACM SIGSOFT, 1990.","DOI":"10.1145\/99278.99279"},{"key":"19_CR6","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/978-3-642-82453-1_17","volume-title":"Logics and Models of Concurrent Systems, volume 13 of NATO ASI Series F","author":"D. Harel","year":"1985","unstructured":"David Harel and Amir Pnueli. On the development of reactive systems. In Krzysztof R. Apt, editor, Logics and Models of Concurrent Systems, volume 13 of NATO ASI Series F, pages 477\u2013498. Springer-Verlag, New York, 1985."},{"issue":"7","key":"19_CR7","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Leslie 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"},{"issue":"4","key":"19_CR8","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1145\/128733.128735","volume":"8","author":"K. Marzullo","year":"1990","unstructured":"Keith Marzullo. Tolerating failures of continuous-valued sensors. ACM Transactions on Computer Systems, 8(4):284\u2013304, November 1990.","journal-title":"ACM Transactions on Computer Systems"},{"issue":"8","key":"19_CR9","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/2.84876","volume":"24","author":"K. Marzullo","year":"1991","unstructured":"Keith Marzullo, Robert C. B. Cooper, Mark Wood, and Kenneth P. Birman. Tools for distributed application management. IEEE Computer, 24(8):42\u201351, August 1991.","journal-title":"IEEE Computer"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Keith Marzullo and Laura Sabel. Using consistent subcuts for detecting stable properties. In Proceedings of the Fifth Workshop on Distributed Algorithms and Graphs, October 1991. To appear.","DOI":"10.21236\/ADA237122"},{"key":"19_CR11","unstructured":"Keith Marzullo and Mark Wood. Tools for distributed application management. In Proceedings of the Spring 1991 EurOpen Conference, pages 477\u2013498, May 1991."},{"key":"19_CR12","unstructured":"Friedemann Mattern. Time and global states of distributed systems. In Michel Cosnard et. al., editor, Proceedings of the International Workshop on Parallel and Distributed Algorithms, pages 215\u2013226. North-Holland, October 1989."},{"key":"19_CR13","unstructured":"Barton P. Miller and Jong-Deok Choi. Breakpoints and halting in distributed programs. In Proceedings of the Eighth International Conference on Distributed Computing Systems, pages 316\u2013323. IEEE, 1988."},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Steven P. Reiss. Connecting tools using message passing in the FIELD program development environment. IEEE Software, 7(4), July 1990.","DOI":"10.1109\/52.56450"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"M. Spezialetti and J. P. Kearns. Simultaneous regions: A framework for the consistent monitoring of distributed computations. In Proceedings of the Ninth International Conference on Distributed Computing Systems, pages 61\u201368. IEEE, 1989.","DOI":"10.1109\/ICDCS.1989.37931"},{"key":"19_CR16","unstructured":"Madelene Spezialetti. A Generalized Approach to Monitoring Distributed Computations for Event Occurrences. Ph.D. dissertation, University of Pittsburgh, 1989."}],"container-title":["Lecture Notes in Computer Science","Distributed Algorithms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022452","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T12:59:56Z","timestamp":1736081996000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022452"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540552369","9783540467892"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0022452","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"10 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}