{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T21:42:10Z","timestamp":1757454130422},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540647812"},{"type":"electronic","value":"9783540686811"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055039","type":"book-chapter","created":{"date-parts":[[2006,8,1]],"date-time":"2006-08-01T12:08:05Z","timestamp":1154434085000},"page":"41-52","source":"Crossref","is-referenced-by-count":11,"title":["Deciding global partial-order properties"],"prefix":"10.1007","author":[{"given":"Rajeev","family":"Alur","sequence":"first","affiliation":[]},{"given":"Ken","family":"McMillan","sequence":"additional","affiliation":[]},{"given":"Doron","family":"Peled","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,26]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, W. Penczek, and D. Peled. Model-checking of causality properties. 10th Symposium on Logic in Computer Science, 90\u2013100, 1995.","DOI":"10.1109\/LICS.1995.523247"},{"key":"4_CR2","first-page":"52","volume":"131","author":"E.M. Clarke","year":"1981","unstructured":"E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. Workshop on Logic of Programs, LNCS 131, 52\u201371, 1981.","journal-title":"LNCS"},{"key":"4_CR3","unstructured":"W. Ebinger. Logical definability of trace languages. In V. Diekert, G. Rozenberg (Eds.) The Book of Traces, World Scientific, 382\u2013390, 1995."},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"J. Esparza. Model checking using net unfolding. Science of Computer Programming 23, 1994.","DOI":"10.1016\/0167-6423(94)00019-0"},{"issue":"2","key":"4_CR5","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1006\/inco.1994.1035","volume":"110","author":"P. Godefroid","year":"1994","unstructured":"P. Godefroid and P. Wolper. A partial approach to model checking. Information and Computation 110 (2), 305\u2013326, 1994.","journal-title":"Information and Computation"},{"key":"4_CR6","first-page":"21","volume":"75","author":"S. Katz","year":"1992","unstructured":"S. Katz and D. Peled. Interleaving set temporal logic. Theoretical Computer Science 75, 21\u201343, 1992.","journal-title":"Theoretical Computer Science"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1006\/inco.1995.1078","volume":"119","author":"K. Lodaya","year":"1985","unstructured":"K. Lodaya, R. Parikh, R. Ramanujam, and P.S. Thiagarajan. A logical study of distributed transitions systems. Information and Computation 119, 91\u2013118, 1985.","journal-title":"Information and Computation"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"A. Mazurkiewicz. Trace Theory. In W. Brauer, W. Reisig, G. Rozenberg (eds.), Advances in Petri Nets 1986, LNCS 255, 279\u2013324, 1987.","DOI":"10.1007\/3-540-17906-2_30"},{"key":"4_CR9","first-page":"164","volume":"663","author":"K.L. McMillan","year":"1992","unstructured":"K.L. McMillan. Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. Fourth CAV, LNCS 663, 164\u2013177, 1992.","journal-title":"LNCS"},{"key":"4_CR10","first-page":"377","volume":"818","author":"D. Peled","year":"1994","unstructured":"D. Peled. Combining partial order reductions with on-the-fly model checking. Sixth Conferenceon Computer Aided Verification, LNCS 818, 377\u2013390, 1994.","journal-title":"LNCS"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0020-0190(92)90007-I","volume":"43","author":"W. Penczek","year":"1992","unstructured":"W. Penczek. On undecidability of propositional temporal logics on trace systems. Information Processing Letters 43, 147\u2013153, 1992.","journal-title":"Information Processing Letters"},{"issue":"1","key":"4_CR12","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V.R. Pratt","year":"1986","unstructured":"V.R. Pratt. Modeling concurrency with partial orders. Intl. J. of Parallel Programming 15(1), 33\u201371, 1986.","journal-title":"Intl. J. of Parallel Programming"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"P.S. Thiagarajan. A trace based extension of linear time temporal logic. Ninth Symposium on Logic in Computer Science, 1994.","DOI":"10.1109\/LICS.1994.316047"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"P.S. Thiagarajan and I. Walukiewicz. An expressively complete linear time temporal logic for Mazurkiewicz traces. 12th Symposium on Logic in Computer Science, 1997.","DOI":"10.1109\/LICS.1997.614946"},{"key":"4_CR15","first-page":"156","volume":"531","author":"A. Valmari","year":"1990","unstructured":"A. Valmari. A Stubborn attack on state explosion. Proc. 2nd Conference on Computer-Aided Verification, LNCS 531, 156\u2013165, 1990.","journal-title":"LNCS"},{"key":"4_CR16","unstructured":"M.Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. First Symposium on Logic in Computer Science, 332\u2013344, 1986."},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"I. Walukiewicz. Difficult configurations \u2014 on the complexity of LTrL. 25th International Colloquium on Automata, Languages, and Programming, 1998.","DOI":"10.1007\/BFb0055048"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T12:18:53Z","timestamp":1555762733000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055039"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647812","9783540686811"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0055039","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}