{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:32:28Z","timestamp":1725489148337},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540002253"},{"type":"electronic","value":"9783540362067"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36206-1_6","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T03:23:08Z","timestamp":1187234588000},"page":"47-58","source":"Crossref","is-referenced-by-count":0,"title":["Local Normal Forms for Logics over Traces"],"prefix":"10.1007","author":[{"given":"Bharat","family":"Adsul","sequence":"first","affiliation":[]},{"given":"Milind","family":"Sohoni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"6_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"926","DOI":"10.1007\/3-540-45465-9_79","volume-title":"Complete and Tractable Local Linear Time Temporal Logics over Traces","author":"B. Adsul","year":"2002","unstructured":"B. Adsul and M. Sohoni: Complete and Tractable Local Linear Time Temporal Logics over Traces, Proc. ICALP\u2019 02, LNCS\n                           2380 (2002) 926\u2013937."},{"key":"6_CR2","series-title":"Technical Report","volume-title":"First-Order Logic over Traces","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 \n                    http:\/\/www.cse.iitb.ac.in\/\u223cabharat\/logics.html"},{"key":"6_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/3-540-45022-X_18","volume-title":"LTL is Expressively Complete for Mazurkiewicz Traces","author":"V. Diekert","year":"2000","unstructured":"V. Diekert and P. Gastin: LTL is Expressively Complete for Mazurkiewicz Traces, Proc. ICALP\u2019 00, LNCS\n                           1853 (2000) 211\u2013222."},{"key":"6_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."},{"volume-title":"The Book of Traces","year":"1995","key":"6_CR5","unstructured":"V. Diekert and G. Rozenberg (Eds.): The Book of Traces,World Scientific, Singapore (1995)."},{"key":"6_CR6","volume-title":"Finite Model Theory","author":"H.-D. Ebbinghaus","year":"1995","unstructured":"H.-D. Ebbinghaus and J. Flum: Finite Model Theory, Springer-Verlag, NewYork (1995)."},{"key":"6_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/3-540-56939-1_84","volume-title":"Logical Definability on Infinite Traces","author":"W. Ebinger","year":"1993","unstructured":"W. Ebinger and A. Muscholl: Logical Definability on Infinite Traces, Proc. ICALP\u2019 93, LNCS\n                           700 (1993) 335\u2013346."},{"issue":"3","key":"6_CR8","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":"6_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-61550-4_140","volume-title":"Linear Time Temporal Logics over Mazurkiewicz Traces","author":"M. Mukund","year":"1996","unstructured":"M. Mukund and P.S. Thiagarajan: Linear Time Temporal Logics over Mazurkiewicz Traces, Proc. MFCS\u201996, LNCS\n                           1113 (1996) 62\u201392."},{"key":"6_CR10","unstructured":"W. Thomas: On Logical Definability of Trace Languages, Proc. an ASMICS workshop, Report TUM-I9002, Technical Univ. of Munich, (1989) 172\u2013182."},{"key":"6_CR11","first-page":"135","volume":"B","author":"W. Thomas","year":"1990","unstructured":"W. Thomas: Automata on Infinite Objects, in: Handbook of Theoretical Computer Science Vol. B, Elsevier, Amsterdam (1990) 135\u2013191.","journal-title":"Handbook of Theoretical Computer Science"},{"key":"6_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/BFb0055048","volume-title":"Difficult Configurations-On the Complexity of LTrL","author":"I. Walukiewicz","year":"1998","unstructured":"I. Walukiewicz: Difficult Configurations-On the Complexity of LTrL, Proc. ICALP\u2019 98, LNCS\n                           1443 (1998) 140\u2013151."},{"key":"6_CR13","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1051\/ita\/1987210200991","volume":"21","author":"W. Zielonka","year":"1987","unstructured":"W. Zielonka: Notes on Finite Asynchronous Automata, RAIRO Inform. Th\u00e9or. Appl.\n                           21 (1987) 99\u2013135.","journal-title":"RAIRO Inform. Th\u00e9or. Appl."}],"container-title":["Lecture Notes in Computer Science","FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36206-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T17:14:07Z","timestamp":1550769247000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36206-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540002253","9783540362067"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-36206-1_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}