{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:47:58Z","timestamp":1725468478723},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540648277"},{"type":"electronic","value":"9783540685326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055772","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T13:36:31Z","timestamp":1155821791000},"page":"229-238","source":"Crossref","is-referenced-by-count":6,"title":["Expressive completeness of Temporal Logic of action"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Rabinovich","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"19_CR1","unstructured":"J. R. B\u00fcchi. On a decision method in restricted second order arithmetic In Proc. International Congress on Logic, Methodology and Philosophy of Science, E. Nagel at al. eds, Stanford University Press, pp 1\u201311, 1960."},{"key":"19_CR2","unstructured":"L. Lamport. What good is temporal logic. In R. E. A. Manson editor Information Processing 83, Proceedings of IFIP 9th World Congress, Paris pp. 657\u2013668. IFIP, North Holland."},{"issue":"3","key":"19_CR3","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"L. Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3), pp. 872\u2013923, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems, Springer Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"M. O. Rabin. Decidable theories. In J. Barwise editor Handbook of Mathematical Logic, North-Holland, 1977.","DOI":"10.1016\/S0049-237X(08)71116-9"},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0304-3975(97)00075-3","volume":"193","author":"A. Rabinovich","year":"1998","unstructured":"A. Rabinovich. On Translations of Temporal Logic of Actions into Monadic Second Order Logic. Theoretical Computer Science 193 (1998), 197\u2013214.","journal-title":"Theoretical Computer Science"},{"key":"19_CR7","first-page":"411","volume":"1279","author":"A. Rabinovich","year":"1997","unstructured":"A. Rabinovich and B. A. Trakhtenbrot. From Finite Automata to Hybrid Systems. Fundamentals of Computation Theory 1997, LNCS vol. 1279, pages 411\u2013422, 1997.","journal-title":"LNCS"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"W. Thomas. Automata on Infinite Objects. In J. van Leeuwen editor Handbook of Theoretical Computer Science, The MIT Press, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"19_CR9","volume-title":"Finite Automata","author":"B. A. Trakhtenbrot","year":"1973","unstructured":"B. A. Trakhtenbrot and Y. M. Barzdin. Finite Automata, North Holland Amsterdam, 1973."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055772","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,11]],"date-time":"2019-02-11T18:12:51Z","timestamp":1549908771000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055772"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648277","9783540685326"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0055772","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}