{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,24]],"date-time":"2024-12-24T05:07:09Z","timestamp":1735016829541,"version":"3.32.0"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Method Syst Des"],"published-print":{"date-parts":[[2005,1]]},"DOI":"10.1007\/s10703-005-4593-z","type":"journal-article","created":{"date-parts":[[2005,2,15]],"date-time":"2005-02-15T10:47:35Z","timestamp":1108464455000},"page":"27-43","source":"Crossref","is-referenced-by-count":2,"title":["Difficult Configurations?On the Complexity of LTrL"],"prefix":"10.1007","volume":"26","author":[{"given":"Igor","family":"Walukiewicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, K. McMillan, and D. Peled, ?Deciding global partial-order properties,? in IGALP?98, 1998, pp. 41?52.","DOI":"10.1007\/BFb0055039"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, D. Peled, and W. Penczek, ?Model-checkingof causality properties,? in LIGS ?95, 1995, pp. 90?100.","DOI":"10.1109\/LICS.1995.523247"},{"key":"CR3","unstructured":"V. Diekert and P. Gastin, ?LTL is expressively complete for Mazurkiewicz traces,? in ICALP?OO, Vol. 1853 of LNCS, 2000, pp. 211?222."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"V. Diekert and G. Rozenberg (Eds.), The Book of Traces, World Scientific, 1995.","DOI":"10.1142\/2563"},{"key":"CR5","first-page":"335","volume":"700","author":"W. Ebinger","year":"1993","unstructured":"W. Ebinger and A. Muscholl, ?Logical definability on infinite traces,? in ICALP ?93, Vol. 700, 1993, pp. 335?346.","journal-title":"ICALP ?93"},{"key":"CR6","unstructured":"P. Godefroid, Partial-Order Methods for the Verification of Concurrent Systems, Vol. 1032 of LNCS. Springer-Verlag, 1996."},{"issue":"1","key":"CR7","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1006\/inco.1995.1078","volume":"119","author":"K. Lodaya","year":"1995","unstructured":"K. Lodaya, R. Parikh, R. Ramanujam, and P. S. Thiagarajan,?A logical study of distributed transition systems,? Information and Computation, Vol. 119, No. 1, pp. 91?118, 1995.","journal-title":"Information and Computation"},{"key":"CR8","unstructured":"P. Niebert, ?A temporal logic for the specification and verification of distributed behaviour,? Ph.D. thesis, Universit\u00e4t Hildesheim, 1998. Also available as Informatik-Bericht Nr. 99-02, Institut f\u00fcr Software, Abteilung Programmierung, Technische Universit\u00e4t Braunschweig, Gau\u00dftra\u00dfe 11, D-38092 Braunschweig\/Germany."},{"key":"CR9","unstructured":"D. Peled, ?Partial order reduction: Model checkingusing representatives,? in MFCS?96, Vol.1113 of LNCS, 1996, pp. 93?112."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0304-3975(94)90009-4","volume":"126","author":"D. Peled","year":"1994","unstructured":"D. Peled and A. Pnueli, ?Proving partial order properties,? Theoretical Computer Science, Vol. 126, pp. 143?182, 1994.","journal-title":"Theoretical Computer Science"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0020-0190(92)90007-I","volume":"43","author":"W. Penczek","year":"1992","unstructured":"W. Penczek, ?On udecidability of prepositional temporal logics on trace systems,? Information Processing Letters, Vol. 43, pp. 147?153, 1992.","journal-title":"Information Processing Letters"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"R. Ramanujam, ?Locally linear time temporal logic,? in LICS ?96, 1996, pp. 118?128.","DOI":"10.1109\/LICS.1996.561311"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","author":"A. Sistla","year":"1985","unstructured":"A. Sistla and E. Clarke, ?The complexity of prepositional linear time logic,? J. ACM, Vol.32, pp. 733?749, 1985.","journal-title":"J. ACM"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"P.S. Thiagarajan, ?A trace based extension of linear time temporal logic,? in LICS., 1994, pp. 438?447.","DOI":"10.1109\/LICS.1994.316047"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"P.S. Thiagarajan and I. Walukiewicz, ?An expressively complete linear time temporal logic for Mazurkiewicz traces,? in LICS?97, 1997, pp. 183?194.","DOI":"10.7146\/brics.v3i62.18563"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF00709154","volume":"1","author":"A. Valmari","year":"1992","unstructured":"A. Valmari, ?A stubborn attack on state explosion,? Formal Methods in System Design, Vol. 1, pp. 297?322, 1992.","journal-title":"Formal Methods in System Design"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"I. Walukiewicz, ?Local logics for traces,? Technical Report RS-00-2, BRIGS, Aarhus University. Extended version to appear in Journal of Automata, Languages and Combinatorics, 2000.","DOI":"10.7146\/brics.v7i2.20130"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-005-4593-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-005-4593-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-005-4593-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T09:53:51Z","timestamp":1734947631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-005-4593-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,1]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,1]]}},"alternative-id":["4593"],"URL":"https:\/\/doi.org\/10.1007\/s10703-005-4593-z","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[2005,1]]}}}