{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:14:27Z","timestamp":1743092067082,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642160226"},{"type":"electronic","value":"9783642160233"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","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":[[2010]]},"DOI":"10.1007\/978-3-642-16023-3_17","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T20:41:49Z","timestamp":1284928909000},"page":"191-205","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modeling and Analyzing Periodic Distributed Computations"],"prefix":"10.1007","author":[{"given":"Anurag","family":"Agarwal","sequence":"first","affiliation":[]},{"given":"Vijay K.","family":"Garg","sequence":"additional","affiliation":[]},{"given":"Vinit","family":"Ogale","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,9,20]]},"reference":[{"issue":"1","key":"17_CR1","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K.M. Chandy","year":"1985","unstructured":"Chandy, K.M., Lamport, L.: Distributed snapshots: Determining global states of distributed systems. ACM Transactions on Computer Systems\u00a03(1), 63\u201375 (1985)","journal-title":"ACM Transactions on Computer Systems"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Cooper, R., Marzullo, K.: Consistent detection of global predicates. In: Proc. of the Workshop on Parallel and Distributed Debugging, Santa Cruz, CA, ACM\/ONR, pp. 163\u2013173 (1991)","DOI":"10.1145\/122759.122774"},{"issue":"3","key":"17_CR3","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1109\/71.277788","volume":"5","author":"V.K. Garg","year":"1994","unstructured":"Garg, V.K., Waldecker, B.: Detection of weak unstable predicates in distributed programs. IEEE Trans. on Parallel and Distributed Systems\u00a05(3), 299\u2013307 (1994)","journal-title":"IEEE Trans. on Parallel and Distributed Systems"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proc. 18th Annual IEEE-ACM Symposium on Foundations of Computer Science, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Fidge, C.J.: Partial orders for parallel debugging. In: Proceedings of the ACM SIGPLAN\/SIGOPS Workshop on Parallel and Distributed Debugging, vol.\u00a024(1), pp. 183\u2013194 (1989), published in ACM SIGPLAN Notices","DOI":"10.1145\/69215.69233"},{"key":"17_CR6","unstructured":"Mattern, F.: Virtual Time and Global States of Distributed Systems. In: Proc. of the Int\u2019l Workshop on Parallel and Distributed Algorithms (1989)"},{"key":"17_CR7","volume-title":"Elements of Distributed Computing","author":"V.K. Garg","year":"2002","unstructured":"Garg, V.K.: Elements of Distributed Computing. John Wiley & Sons, Chichester (2002)"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Sen, A., Garg, V.K.: Detecting temporal logic predicates in distributed programs using computation slicing. In: 7th International Conference on Principles of Distributed Systems, La Martinique, France (2003)","DOI":"10.1007\/978-3-540-27860-3_17"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/3-540-45414-4_6","volume-title":"Distributed Computing","author":"N. Mittal","year":"2001","unstructured":"Mittal, N., Garg, V.K.: Computation Slicing: Techniques and Theory. In: Welch, J.L. (ed.) DISC 2001. LNCS, vol.\u00a02180, p. 78. Springer, Heidelberg (2001)"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/978-3-540-75142-7_32","volume-title":"Distributed Computing","author":"V.A. Ogale","year":"2007","unstructured":"Ogale, V.A., Garg, V.K.: Detecting temporal logic predicates on distributed computations. In: Pelc, A. (ed.) DISC 2007. LNCS, vol.\u00a04731, pp. 420\u2013434. Springer, Heidelberg (2007)"},{"issue":"7","key":"17_CR11","doi-asserted-by":"publisher","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. Communications of the ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"key":"17_CR12","volume-title":"Introduction to Lattices and Order","author":"B.A. Davey","year":"1990","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (1990)"},{"key":"17_CR13","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1145\/1073814.1073818","volume-title":"PODC","author":"A. Agarwal","year":"2005","unstructured":"Agarwal, A., Garg, V.K.: Efficient dependency tracking for relevant events in shared-memory systems. In: Aguilera, M.K., Aspnes, J. (eds.) PODC, pp. 19\u201328. ACM, New York (2005)"},{"key":"17_CR14","unstructured":"Garg, V.K., Waldecker, B.: Detection of unstable predicates. In: Proc. of the Workshop on Parallel and Distributed Debugging, Santa Cruz, CA. ACM\/ONR (1991)"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Mattern, F.: Efficient algorithms for distributed snapshots and global virtual time approximation. Journal of Parallel and Distributed Computing, 423\u2013434 (1993)","DOI":"10.1006\/jpdc.1993.1075"},{"key":"17_CR16","volume-title":"Proceedings of the ACM Conference on Supercomputing","author":"R. Garg","year":"2006","unstructured":"Garg, R., Garg, V.K., Sabharwal, Y.: Scalable algorithms for global snapshots in distributed systems. In: Proceedings of the ACM Conference on Supercomputing. ACM, New York (2006)"},{"key":"17_CR17","first-page":"1","volume-title":"Cluster","author":"A.D. Kshemkalyani","year":"2009","unstructured":"Kshemkalyani, A.D.: A symmetric o(n log n) message distributed snapshot algorithm for large-scale systems. In: Cluster, pp. 1\u20134. IEEE, Los Alamitos (2009)"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Le Blanc, M.-C.: Debugging parallel programs with instant replay. IEEETC: IEEE Transactions on Computers\u00a036 (1987)","DOI":"10.1109\/TC.1987.1676929"},{"issue":"2","key":"17_CR19","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1006\/jpdc.1997.1374","volume":"45","author":"V.K. Garg","year":"1997","unstructured":"Garg, V.K., Chase, C.M., Kilgore, R.B., Mitchell, J.R.: Efficient detection of channel predicates in distributed systems. J. Parallel Distrib. Comput.\u00a045(2), 134\u2013147 (1997)","journal-title":"J. Parallel Distrib. Comput."},{"issue":"8","key":"17_CR20","doi-asserted-by":"publisher","first-page":"664","DOI":"10.1109\/32.707701","volume":"24","author":"M. Hurfin","year":"1998","unstructured":"Hurfin, M., Mizuno, M., Raynal, M., Singhal, M.: Efficient detection of conjunctions of local predicates. IEEE Transactions on Software Engineering\u00a024(8), 664\u2013677 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"17_CR21","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1145\/200994.201005","volume":"17","author":"B. Charron-Bost","year":"1995","unstructured":"Charron-Bost, B., Delporte-Gallet, C., Fauconnier, H.: Local and temporal predicates in distributed systems. ACM Transactions on Programming Languages and Systems\u00a017(1), 157\u2013179 (1995)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR22","unstructured":"Garg, V.K., Mittal, N.: On Slicing a Distributed Computation. In: Proc. of the 15th Int\u2019l Conference on Distributed Computing Systems, ICDCS (2001)"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Sen, A., Garg, V.K.: Detecting temporal logic predicates in the happened before model. In: International Parallel and Distributed Processing Symposium (IPDPS), Florida (2002)","DOI":"10.1109\/IPDPS.2002.1015583"},{"key":"17_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/978-3-540-75142-7_32","volume-title":"Distributed Computing","author":"V.A. Ogale","year":"2007","unstructured":"Ogale, V.A., Garg, V.K.: Detecting temporal logic predicates on distributed computations. In: Pelc, A. (ed.) DISC 2007. LNCS, vol.\u00a04731, pp. 420\u2013434. Springer, Heidelberg (2007)"},{"key":"17_CR25","unstructured":"Z.120. ITU-TS recommendation Z.120: Message Sequence Chart (MSC) (1996)"},{"key":"17_CR26","unstructured":"Petri, C.A.: Kommunikation mit Auto-maten. PhD thesis, Bonn: Institut fuer Instru- mentelle Mathematik (1962)"},{"issue":"1","key":"17_CR27","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1980","unstructured":"Nielsen, M., Winskel, G.P., Petri, G.: nets, event structures and domains. Theoretical Computer Science\u00a013(1), 85\u2013108 (1980)","journal-title":"Theoretical Computer Science"},{"key":"17_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K.L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht (1993)"},{"issue":"2","key":"17_CR29","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0167-6423(94)00019-0","volume":"23","author":"J. Esparza","year":"1994","unstructured":"Esparza, J.: Model checking using net unfoldings. Science of Computer Programming\u00a023(2), 151\u2013195 (1994)","journal-title":"Science of Computer Programming"}],"container-title":["Lecture Notes in Computer Science","Stabilization, Safety, and Security of Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16023-3_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T11:34:28Z","timestamp":1685792068000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-16023-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642160226","9783642160233"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16023-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]},"assertion":[{"value":"20 September 2010","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}