{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:10:24Z","timestamp":1725484224613},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540438649"},{"type":"electronic","value":"9783540454656"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45465-9_79","type":"book-chapter","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T21:12:57Z","timestamp":1180213977000},"page":"926-937","source":"Crossref","is-referenced-by-count":5,"title":["Complete and Tractable Local Linear Time Temporal Logics over Traces"],"prefix":"10.1007","author":[{"given":"Bharat","family":"Adsul","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Milind","family":"Sohoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,25]]},"reference":[{"key":"79_CR1","volume-title":"Technical Report","author":"B. Adsul","year":"2002","unstructured":"B. Adsul AND M. Sohoni: First-Order Logic over Traces, Technical Report, Dept. of Computer Science & Engineering, I. I. T. Mumbai, India (2002). Also see http:\/\/www.cse.iitb.ac.in\/~abharat\/logics.html"},{"key":"79_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/3-540-45022-X_18","volume-title":"Proc. ICALP\u2019 00","author":"V. Diekert","year":"2000","unstructured":"V. Diekert AND P. Gastin: LTL is Expressively Complete for Mazurkiewicz Traces, Proc. ICALP\u2019 00, LNCS 1853 (2000) 211\u2013222."},{"key":"79_CR3","unstructured":"V. Diekert AND P. Gastin: Local Temporal Logic is Expressively Complete for Cograph Dependence Alphabets, Proc. LPAR\u2019 01, LNAI 2250 (2000) 55\u201369."},{"key":"79_CR4","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/BF01178512","volume":"31","author":"V. Diekert","year":"1993","unstructured":"V. Diekert AND A. Muscholl: Deterministic Asynchronous Automata for Infinite Traces, Acta Inf., 31 (1993) 379\u2013397.","journal-title":"Acta Inf."},{"key":"79_CR5","doi-asserted-by":"crossref","unstructured":"V. Diekert AND G. Rozenberg (Eds.): The Book of Traces, World Scientific, Singapore (1995).","DOI":"10.1142\/2563"},{"key":"79_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/3-540-56939-1_84","volume-title":"Proc. ICALP\u2019 93","author":"W. Ebinger","year":"1993","unstructured":"W. Ebinger AND A. Muscholl: Logical Definability on Infinite Traces, Proc. ICALP\u2019 93, LNCS 700 (1993) 335\u2013346."},{"key":"79_CR7","unstructured":"O. Maler AND A. Pnueli: Tight bounds on the Complexity of Cascaded Decomposition of Automata, Proc. 31st IEEE FOCS\u2019 90 (1990) 672\u2013682."},{"key":"79_CR8","volume-title":"The Temporal Logic of Reactive and Concurrent Systems (Specification)","author":"Z. Manna","year":"1991","unstructured":"Z. Manna AND A. Pnueli: The Temporal Logic of Reactive and Concurrent Systems (Specification), Springer-Verlag, Berlin (1991)."},{"key":"79_CR9","volume-title":"Counter-free Automata","author":"R. McNaughton","year":"1971","unstructured":"R. McNaughton AND S. Papert: Counter-free Automata, MIT Press, Cam-bridge (1971)."},{"issue":"3","key":"79_CR10","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/s004460050031","volume":"10","author":"M. Mukund","year":"1997","unstructured":"M. Mukund AND M. Sohoni: Keeping Track of the Latest Gossip in a Distributed System, Distributed Computing, 10(3) (1997) 137\u2013148.","journal-title":"Distributed Computing"},{"key":"79_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-61550-4_140","volume-title":"Proc. MFCS\u201996","author":"M. Mukund","year":"1996","unstructured":"M. Mukund AND P.S. Thiagarajan: Linear Time Temporal Logics over Mazurkiewicz Traces, Proc. MFCS\u201996, LNCS 1113 (1996) 62\u201392."},{"key":"79_CR12","doi-asserted-by":"crossref","unstructured":"P.S. Thiagarajan: A Trace Based Extension of Linear Time Temporal Logic, Proc. 9th IEEE LICS (1994) 438\u2013447.","DOI":"10.1109\/LICS.1994.316047"},{"key":"79_CR13","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/978-3-642-59126-6_7","volume-title":"Handbook of Formal Languages Vol. 3 \u2014 Beyond Words","author":"W. Thomas","year":"1997","unstructured":"W. Thomas: Languages, Automata and Logic, in: Handbook of Formal Languages Vol. 3 \u2014 Beyond Words, Springer-Verlag, New York (1997) 389\u2013456."},{"key":"79_CR14","doi-asserted-by":"crossref","unstructured":"P.S. Thiagarajan AND I. Walukiewicz: An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces, Proc. 12th IEEE LICS (1997) 183\u2013194.","DOI":"10.1109\/LICS.1997.614946"},{"key":"79_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/BFb0055048","volume-title":"Proc. ICALP\u2019 98","author":"I. Walukiewicz","year":"1998","unstructured":"I. Walukiewicz: Difficult Configurations-On the Complexity of LTrL, Proc. ICALP\u2019 98, LNCS 1443 (1998) 140\u2013151."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45465-9_79","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T07:05:44Z","timestamp":1556435144000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45465-9_79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540438649","9783540454656"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45465-9_79","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}