{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:33Z","timestamp":1761611193211},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677703"},{"type":"electronic","value":"9783540450474"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722167_22","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T22:00:33Z","timestamp":1167429633000},"page":"264-279","source":"Crossref","is-referenced-by-count":14,"title":["Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods"],"prefix":"10.1007","author":[{"given":"Scott D.","family":"Stoller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leena","family":"Unnikrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yanhong A.","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BFb0055039","volume-title":"Automata, Languages and Programming","author":"R. Alur","year":"1998","unstructured":"Alur, R., McMillan, K., Peled, D.: Deciding global partial-order properties. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 41\u201352. Springer, Heidelberg (1998)"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Alagar, S., Venkatesan, S.: Techniques to tackle state explosion in global predicate detection. In: Proc. International Conference on Parallel and Distributed Systems, December 1994, pp. 412\u2013417 (1994)","DOI":"10.1109\/ICPADS.1994.590349"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-48320-9_10","volume-title":"CONCUR\u201999. Concurrency Theory","author":"R. Alur","year":"1999","unstructured":"Alur, R., Yannakakis, M.: Model checking of message sequence charts. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 114\u2013129. Springer, Heidelberg (1999)"},{"issue":"4","key":"22_CR4","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s004460050049","volume":"11","author":"C.M. Chase","year":"1998","unstructured":"Chase, C.M., Garg, V.K.: Detection of global predicates: Techniques and their limitations. Distributed Computing\u00a011(4), 169\u2013189 (1998)","journal-title":"Distributed Computing"},{"key":"#cr-split#-22_CR5.1","doi-asserted-by":"crossref","unstructured":"Cooper, R., Marzullo, K.: Consistent detection of global predicates. In: Proc. ACM\/ONR Workshop on Parallel and Distributed Debugging (1991);","DOI":"10.1145\/122759.122774"},{"key":"#cr-split#-22_CR5.2","doi-asserted-by":"crossref","unstructured":"ACM SIGPLAN Notices??26(12), 167???174 (December 1991)","DOI":"10.1145\/127695.122774"},{"key":"22_CR6","unstructured":"Fidge, C.: Timestamps in message-passing systems that preserve the partial ordering. In: Proceedings of the 11th Australian Computer Science Conference, pp. 56\u201366 (1988)"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Fromentin, E., Raynal, M.: Local states in distributed computations: A few relations and formulas. Operating Systems Review\u00a028(2) (April 1994)","DOI":"10.1145\/198153.198161"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Partial-Order Methods for the Verification of Concurrent Systems","year":"1996","unstructured":"Godefroid, P. (ed.): Partial-Order Methods for the Verification of Concurrent Systems. LNCS, vol.\u00a01032. Springer, Heidelberg (1996)"},{"issue":"3","key":"22_CR9","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 Transactions on Parallel and Distributed Systems\u00a05(3), 299\u2013307 (1994)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"issue":"12","key":"22_CR10","doi-asserted-by":"publisher","first-page":"1323","DOI":"10.1109\/71.553309","volume":"7","author":"V.K. Garg","year":"1996","unstructured":"Garg, V.K., Waldecker, B.: Detection of strong unstable predicates in distributed programs. IEEE Transactions on Parallel and Distributed Systems\u00a07(12), 1323\u20131333 (1996)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"22_CR11","volume-title":"Proc. Int\u2019l Workshop on Structures in Concurrency Theory (STRICT 1995)","author":"R. Jegou","year":"1995","unstructured":"Jegou, R., Medina, R., Nourine, L.: Linear space algorithm for on-line detection of global predicates. In: Desel, J. (ed.) Proc. Int\u2019l Workshop on Structures in Concurrency Theory (STRICT 1995), Springer, Heidelberg (1995)"},{"issue":"7","key":"22_CR12","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\u2013564 (1978)","journal-title":"Communications of the ACM"},{"key":"22_CR13","first-page":"120","volume-title":"Proc. International Workshop on Parallel and Distributed Algorithms","author":"F. Mattern","year":"1989","unstructured":"Mattern, F.: Virtual time and global states of distributed systems. In: Corsnard, M. (ed.) Proc. International Workshop on Parallel and Distributed Algorithms, pp. 120\u2013131. North-Holland, Amsterdam (1989)"},{"key":"22_CR14","series-title":"Lecture Notes in Computer Science","first-page":"254","volume-title":"Proc. 5th Int\u2019l. Workshop on Distributed Algorithms (WDAG)","author":"K. Marzullo","year":"1991","unstructured":"Walukiewicz, I.: Difficult configurations - on the complexity of ltrl. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 140\u2013151. Springer, Heidelberg (1998)"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/BFb0053553","volume-title":"Foundations of Software Science and Computation Structures","author":"A. Muscholl","year":"1998","unstructured":"Muscholl, A., Peled, D., Su, Z.: Deciding properties for message sequence charts. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, pp. 226\u2013242. Springer, Heidelberg (1998)"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Peled, D., Pratt, V.R., Holzmann, G.J.: Proc. Workshop on Partial Order Methods in Verification. DIMACS Series, vol.\u00a029. American Mathematical Society (1997)","DOI":"10.1090\/dimacs\/029"},{"key":"22_CR17","volume-title":"Operating System Concepts","author":"A. Silberschatz","year":"1998","unstructured":"Silberschatz, A., Galvin, P.B.: Operating System Concepts, 5th edn. Addison-Wesley, Reading (1998)","edition":"5"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Stoller, S.D., Unnikrishnan, L., Liu, Y.A.: Efficient detection of global properties in distributed systems using partial-order methods. Technical Report 523, Computer Science Dept., Indiana University (1999)","DOI":"10.1007\/10722167_22"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Sistla, A.P., Welch, J.: Efficient distributed recovery using message logging. In: Proc. Eighth ACM Symposium on Principles of Distributed Computing. ACM SIGOPS-SIGACT (1989)","DOI":"10.1145\/72981.72997"},{"key":"#cr-split#-22_CR20.1","doi-asserted-by":"crossref","unstructured":"Tomlinson, A.I., Garg, V.K.: Detecting relational global predicates in distributed systems. In: Proc. ACM\/ONR Workshop on Parallel and Distributed Debugging (1993);","DOI":"10.1145\/174266.174270"},{"key":"#cr-split#-22_CR20.2","doi-asserted-by":"crossref","unstructured":"Tomlinson, A.I., Garg, V.K.: Detecting relational global predicates in distributed systems. In: Proc. ACM\/ONR Workshop on Parallel and Distributed Debugging (1993); ACM SIGPLAN Notices 28(12) (December 1993)","DOI":"10.1145\/174266.174270"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Valmari, A.: Stubborn set methods for process algebras. In: Peled, et al. (eds.) [PPH97], pp. 213\u2013231.","DOI":"10.1090\/dimacs\/029\/12"},{"key":"22_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0055048","volume-title":"Automata, Languages and Programming","author":"I. Walukiewicz","year":"1998","unstructured":"Walukiewicz, I.: Difficult configurations - on the complexity of ltrl. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 140\u2013151. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722167_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T07:48:51Z","timestamp":1556005731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722167_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677703","9783540450474"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/10722167_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}