{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:20:25Z","timestamp":1742617225860,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540620341"},{"type":"electronic","value":"9783540496311"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-62034-6_54","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:31:36Z","timestamp":1330295496000},"page":"250-261","source":"Crossref","is-referenced-by-count":1,"title":["Trace consistency and inevitability"],"prefix":"10.1007","author":[{"given":"R.","family":"Ramanujam","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"issue":"#1","key":"22_CR1","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1006\/inco.1995.1010","volume":"116","author":"V. Diekert","year":"1995","unstructured":"Diekert, V., Gastin, P. and Petit, A., \u201cRational and recognizable complex trace languages\u201d, Information and Computation, vol 116, #1, 1995, 134\u2013153.","journal-title":"Information and Computation"},{"key":"22_CR2","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1006\/inco.1994.1035","volume":"110","author":"P. Godefroid","year":"1994","unstructured":"Godefroid, P. and Wolper, P., \u201cA partial approach to model checking\u201d, Information and Computation, vol 110, 1994, 305\u2013326.","journal-title":"Information and Computation"},{"key":"22_CR3","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/BF02252682","volume":"6","author":"S. Katz","year":"1992","unstructured":"Katz, S. and Peled, D., \u201cVerification of distributed programs using representative interleaving sequences\u201d, Distributed Computing, vol. 6, 1992, 107\u2013120.","journal-title":"Distributed Computing"},{"issue":"#3","key":"22_CR4","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/0304-3975(92)90054-J","volume":"101","author":"S. Katz","year":"1992","unstructured":"Katz, S. and Peled, D., \u201cDefining conditional independence using collapses\u201d, TCS, vol. 101, #3, 1992, 337\u2013359.","journal-title":"TCS"},{"issue":"#1","key":"22_CR5","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1006\/inco.1995.1078","volume":"119","author":"K. Lodaya","year":"1995","unstructured":"Lodaya, K., Parikh, R., Ramanujam, R., Thiagarajan, P.S., \u201cA logical study of distributed transition systems\u201d, Inf & Comp., vol. 119, #1, 1995, 91\u2013118.","journal-title":"Inf & Comp."},{"key":"22_CR6","unstructured":"Manna, Z. and Pnueli, A., The temporal logic of reactive and concurrent systems (Vol. I: Specification; Vol. II: Verification), Springer-Verlag, 1991."},{"issue":"#3","key":"22_CR7","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0304-3975(89)90052-2","volume":"64","author":"A. Mazurkiewicz","year":"1989","unstructured":"Mazurkiewicz, A., Ochmanski, E., and Penczek, W.,\u201cConcurrent systems and inevitability\u201d, TCS, vol. 64, #3, 1989, 281\u2013304.","journal-title":"TCS"},{"key":"22_CR8","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0020-0190(92)90007-I","volume":"43","author":"W. Penczek","year":"1992","unstructured":"Penczek, W., \u201cOn undecidability of propositional temporal logics on trace systems\u201d, Inf. Proc. Letters, vol. 43, 1992, 147\u2013153.","journal-title":"Inf. Proc. Letters"},{"key":"22_CR9","first-page":"409","volume":"697","author":"D. Peled","year":"1993","unstructured":"Peled, D., \u201cAll from one and one from all: on model checking using representatives\u201d, LNCS 697, 1993, 409\u2013423.","journal-title":"LNCS"},{"key":"22_CR10","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0304-3975(94)90009-4","volume":"126","author":"D. Peled","year":"1994","unstructured":"Peled, D., and Pnueli, A., \u201cProving partial order properties\u201d, TCS, vol. 126, 1994, 143\u2013182.","journal-title":"TCS"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Peled, D., Wilke, T. and Wolper, P., \u201cAn algorithmic approach to proving closure properties of \u03a9-regular languages\u201d, Proc. CONCUR, LNCS, 1996.","DOI":"10.1007\/3-540-61604-7_78"},{"key":"22_CR12","volume-title":"Tech. Rep. 58","author":"W. Reisig","year":"1995","unstructured":"Reisig, W., \u201cPetri net models of distributed algorithms\u201d, Tech. Rep. 58, Humboldt Univ., Berlin, 1995 (to appear in LNCS 1000)."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Thiagarajan, P.S., \u201cA trace based extension of propositional linear time temporal logic\u201d, Proc LICS, 1994, 438\u2013447.","DOI":"10.1109\/LICS.1994.316047"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Thiagarajan, P.S., \u201cA trace consistent subset of PTL\u201d, LNCS 962, 438\u2013452.","DOI":"10.1007\/3-540-60218-6_33"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Valmari, A., \u201cA stubborn attack on state explosion\u201d, LNCS 531, 1990, 156\u2013165.","DOI":"10.1007\/BFb0023729"},{"key":"22_CR16","unstructured":"Vardi, M.Y., and Wolper, P., \u201cAn automata theoretic approach to program verification\u201d, Proc LICS, 1986, 332\u2013345."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62034-6_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:27:30Z","timestamp":1742599650000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62034-6_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540620341","9783540496311"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-62034-6_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}