{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T05:37:23Z","timestamp":1737610643767,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665366"},{"type":"electronic","value":"9783540481683"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48168-0_14","type":"book-chapter","created":{"date-parts":[[2007,12,1]],"date-time":"2007-12-01T11:30:26Z","timestamp":1196508626000},"page":"188-203","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces"],"prefix":"10.1007","author":[{"given":"Volker","family":"Diekert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Gastin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, D. Peled, and W. Penczek. Model-checking of causality properties. In Proceedings of LICS\u201995, pages 90\u2013100, 1995.","DOI":"10.1109\/LICS.1995.523247"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0022-0000(93)90005-H","volume":"46","author":"J. Cohen","year":"1993","unstructured":"J. Cohen, D. Perrin, and J. E. Pin. On the expressive power of temporal logic. Journal of Computer and System Sciences, 46:271\u2013295, 1993.","journal-title":"Journal of Computer and System Sciences"},{"key":"14_CR3","doi-asserted-by":"publisher","DOI":"10.1142\/2563","volume-title":"The Book of Traces","author":"V. Diekert","year":"1995","unstructured":"V. Diekert and G. Rozenberg, editors. The Book of Traces. World Scientific, Singapore, 1995."},{"key":"14_CR4","unstructured":"W. Ebinger. Charakterisierung von Sprachklassen unendlicher Spuren durch Logiken. Dissertation, Institut f\u00fcr Informatik, Universit\u00e4t Stuttgart, 1994."},{"key":"14_CR5","series-title":"Lect Notes Comput Sci","first-page":"67","volume-title":"Theoretical Computer Science","author":"W. Ebinger","year":"1996","unstructured":"W. Ebinger and A. Muscholl. Logical definability on infinite traces. Theoretical Computer Science, 154:67\u201384, 1996. A preliminary version appeared in Proceedings of the 20th International Colloquium on Automata, Languages and Programming (ICALP\u201993), Lund (Sweden) 1993, Lecture Notes in Computer Science 700, 1993."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. On the temporal analysis of fairness. In Conference Record of the 12th ACM Symposium on Principles of Programming Languages, pages 163\u2013173, Las Vegas, Nev., 1980.","DOI":"10.1145\/567446.567462"},{"key":"14_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1007\/BFb0055785","volume-title":"Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS\u201998)","author":"P. Gastin","year":"1998","unstructured":"P. Gastin, R. Meyer, and A. Petit. A (non-elementary) modular decision procedure for ltrl. In L. Brim, F. Gruska, and J. Zlatuska, editors, Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS\u201998), number 1450 in Lecture Notes in Computer Science, pages 356\u2013365. Springer, 1998."},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1142\/9789814261456_0011","volume-title":"The Book of Traces","author":"P. Gastin","year":"1995","unstructured":"P. Gastin and A. Petit. Infinite traces. In V. Diekert and G. Rozenberg, editors, The Book of Traces, chapter 11, pages 393\u2013486. World Scientific, Singapore, 1995."},{"key":"14_CR9","series-title":"PhD thesis","volume-title":"Tense Logic and the Theory of Linear Order","author":"J. A. W. Kamp","year":"1968","unstructured":"J. A. W. Kamp. Tense Logic and the Theory of Linear Order. PhD thesis, University of California, Los Angeles, Calif., 1968."},{"key":"14_CR10","unstructured":"R. McNaughton and S. Papert. Counter-free Automata. MIT Press, 1971."},{"key":"14_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1007\/BFb0028588","volume-title":"Proceedings of STACS\u201998","author":"R. Meyer","year":"1998","unstructured":"R. Meyer and A. Petit. Expressive completeness of LTrL on finite traces: an algebraic proof. In Proceedings of STACS\u201998, number 1373 in Lecture Notes in Computer Science, pages 533\u2013543, 1998."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"M. Mukund and P. S. Thiagarajan. Linear time temporal logics over Mazurkiewicz traces. In Proceedings of the 21th MFCS, 1996, number 1113 in Lecture Notes in Computer Science, pages 62\u201392. Springer, 1996.","DOI":"10.1007\/3-540-61550-4_140"},{"key":"14_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1007\/3-540-60246-1_161","volume-title":"Proceedings of the 20th MFCS, 1995","author":"P. Niebert","year":"1995","unstructured":"P. Niebert. A _-calculus with local views for sequential agents. In Proceedings of the 20th MFCS, 1995, number 969 in Lecture Notes in Computer Science, pages 563\u2013573. Springer, 1995."},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1142\/S0129054193000043","volume":"4","author":"W. Penczek","year":"1993","unstructured":"W. Penczek. Temporal logics for trace systems: On automated verification. International Journal of Foundations of Computer Science, 4:31\u201367, 1993.","journal-title":"International Journal of Foundations of Computer Science"},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1142\/9789814261456_0010","volume-title":"The Book of Traces","author":"W. Penczek","year":"1995","unstructured":"W. Penczek and R. Kuiper. Traces and logic. In V. Diekert and G. Rozenberg, editors, The Book of Traces, chapter 10, pages 307\u2013390.World Scientific, Singapore, 1995."},{"key":"14_CR16","series-title":"Lect Notes Comput Sci","first-page":"118","volume-title":"Proceedings of LICS\u201996","author":"R. Ramanujam","year":"1996","unstructured":"R. Ramanujam. Locally linear time temporal logic. In Proceedings of LICS\u201996, Lecture Notes in Computer Science, pages 118\u2013128, 1996."},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1016\/S0019-9958(65)90108-7","volume":"8","author":"M. P. Sch\u00fctzenberger","year":"1965","unstructured":"M. P. Sch\u00fctzenberger. On finite monoids having only trivial subgroups. Information and Control, 8:190\u2013194, 1965.","journal-title":"Information and Control"},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","author":"A. Sistla","year":"1985","unstructured":"A. Sistla and E. Clarke. The complexity of propositional linear time logic. J. ACM, 32:733\u2013749, 1985.","journal-title":"J. ACM"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"P. S. Thiagarajan. A trace based extension of linear time temporal logic. In Proceedings of the 9th Annual IEEE Symposium on Logic in Computer Science (LICS\u201994), pages 438\u2013447, 1994.","DOI":"10.1109\/LICS.1994.316047"},{"key":"14_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1007\/3-540-60218-6_33","volume-title":"Proceedings of CONCUR\u201995","author":"P. S. Thiagarajan","year":"1995","unstructured":"P. S. Thiagarajan. A trace consistent subset of PTL. In Proceedings of CONCUR\u201995, number 962 in Lecture Notes in Computer Science, pages 438\u2013452, 1995."},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"P. S. Thiagarajan and I. Walukiewicz. An expressively complete linear time temporal logic for Mazurkiewicz traces. In Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS\u201997), 1997.","DOI":"10.7146\/brics.v3i62.18563"},{"key":"14_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/BFb0055048","volume-title":"Proceedings of the 25th International Colloquium on Automata, Languages and Programming (ICALP\u201998), Aalborg (Denmark) 1998","author":"I. Walukiewicz","year":"1998","unstructured":"I. Walukiewicz. Difficult configurations on the complexity of LTrL. In Kim G. Larsen et al., editors, Proceedings of the 25th International Colloquium on Automata, Languages and Programming (ICALP\u201998), Aalborg (Denmark) 1998, number 1443 in Lecture Notes in Computer Science, pages 140\u2013151, Berlin-Heidelberg-New York, 1998. Springer."},{"key":"14_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1007\/3-540-49116-3_3","volume-title":"Proceedings of the 16th Annual Symposium on Theoretical Aspects of Computer Science (STACS\u201999), Trier 1999","author":"Th. Wilke","year":"1999","unstructured":"Th. Wilke. Classifying discrete temporal properties. In Chr. Meinel and S. Tison, editors, Proceedings of the 16th Annual Symposium on Theoretical Aspects of Computer Science (STACS\u201999), Trier 1999, number 1443 in Lecture Notes in Computer Science, pages 32\u201346, Berlin-Heidelberg-New York, 1999. Springer. Invited Lecture."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48168-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T03:45:44Z","timestamp":1737603944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48168-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665366","9783540481683"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-48168-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"13 May 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}