{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:18:35Z","timestamp":1725495515694},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664253"},{"type":"electronic","value":"9783540483205"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48320-9_20","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T08:52:42Z","timestamp":1195116762000},"page":"274-286","source":"Crossref","is-referenced-by-count":1,"title":["The Expressive Power of Temporal Logic of Actions"],"prefix":"10.1007","author":[{"given":"Arkady","family":"Estrin","sequence":"first","affiliation":[]},{"given":"Michael","family":"Kaminski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,19]]},"reference":[{"key":"20_CR1","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0304-3975(89)90138-2","volume":"65","author":"M. Abadi","year":"1989","unstructured":"M. Abadi, The power of temporal proofs, Theoretical Computer Science 65 (1989), 35\u201383.","journal-title":"Theoretical Computer Science"},{"key":"20_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/BFb0039051","volume-title":"Proceedings of CONCUR\u201990: Theories of concurrency: unification and extension","author":"M. Abadi","year":"1990","unstructured":"M. Abadi, An Axiomatization of Lamport\u2019s Temporal Logic of Actions, in: J. C. M. Baeten and J. W. Klop, eds., Proceedings of CONCUR\u201990: Theories of concurrency: unification and extension, Springer Verlag, 1990, pp. 57\u201369. (Lecture Notes in Computer Science 458)"},{"key":"20_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/3-540-61474-5_92","volume-title":"Proceedings of the 8th International Conference on Computer-Aided Verification","author":"N. Bj\u00f8rner","year":"1996","unstructured":"N. Bj\u00f8rner, A. Browne, E. Chang, M. Col\u00f3n, A. Kapur, Z. Manna, H. B. Simpa, and T. E. Uribe, STeP: Deductive-Algorithmic Verification of Reactive and Real-time Systems, in: R. Alur and T. A. Henzinger, eds., Proceedings of the 8th International Conference on Computer-Aided Verification, Springer Verlag, 1996, pp. 415\u2013418. (Lecture Notes in Computer Science 1102)"},{"key":"20_CR4","unstructured":"U. Engberg, Reasoning in the Temporal Logic of Actions-The design and implementation of an interactive computer system, Ph.D. thesis, Department of Computer Science, University of Aarhus, 1996."},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0304-3975(95)00108-5","volume":"160","author":"M. Kaminski","year":"1996","unstructured":"M. Kaminski and C. K. Wong, The power of the \u201calways\u201d operator in first-order temporal logic, Theoretical Computer Science B 160 (1996), 271\u2013281.","journal-title":"Theoretical Computer Science B"},{"key":"20_CR6","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 (1994), 872\u2013923.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"20_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/BFb0055772","volume-title":"Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Sciece","author":"A. Rabinovich","year":"1998","unstructured":"A. Rabinovich, Expressive Completeness of Temporal Logic of Actions, in: L. Brim, J. Gruska, and J. Zlatu\u0161ka, eds., Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Sciece, Springer Verlag, 1998, pp. 229\u2013238. (Lecture Notes in Computer Science 1450)"},{"key":"20_CR8","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 Translation of Temporal Logic of Actions into Monadic Second Order Logic, Theoretical Computer Science 193 (1998), 197\u2013214","journal-title":"Theoretical Computer Science"},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1093\/logcom\/5.2.203","volume":"5","author":"M. Tiomkin","year":"1995","unstructured":"M. Tiomkin and M. Kaminski, Semantical analysis of logic of actions, Journal of Logic and Computation 5 (1995), 203\u2013212.","journal-title":"Journal of Logic and Computation"}],"container-title":["Lecture Notes in Computer Science","CONCUR\u201999 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48320-9_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T09:06:27Z","timestamp":1551085587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48320-9_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664253","9783540483205"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-48320-9_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}