{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:00Z","timestamp":1725663720256},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540577850"},{"type":"electronic","value":"9783540483328"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"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":[[1994]]},"DOI":"10.1007\/3-540-57785-8_130","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:20:14Z","timestamp":1330262414000},"page":"47-58","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["A hierarchy of temporal logics with past"],"prefix":"10.1007","author":[{"given":"F.","family":"Laroussinie","sequence":"first","affiliation":[]},{"given":"Ph.","family":"Schnoebelen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/BF01257083","volume":"20","author":"M. Ben-Ari","year":"1983","unstructured":"M. Ben-Ari, A. Pnueli, and Z. Manna. The temporal logic of branching time. Acta Informatica, 20:207\u2013226, 1983.","journal-title":"Acta Informatica"},{"key":"4_CR2","first-page":"52","volume-title":"LNCS 131","author":"E. M. Clarke","year":"1981","unstructured":"E. M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proc. Logics of Programs Workshop, Yorktown Heights, LNCS 131, pages 52\u201371. Springer-Verlag, May 1981."},{"key":"4_CR3","series-title":"LNCS 623","first-page":"474","volume-title":"Proc. 19th ICALP","author":"E. Chang","year":"1992","unstructured":"E. Chang, Z. Manna, and A. Pnueli. Characterization of temporal property classes. In Proc. 19th ICALP, Vienna, LNCS 623, pages 474\u2013486. Springer-Verlag, July 1992."},{"key":"4_CR4","first-page":"169","volume-title":"LNCS 85","author":"E. A. Emerson","year":"1980","unstructured":"E. A. Emerson and E. M. Clarke. Characterizing correctness properties of parallel programs using fixpoints. In Proc. 7th ICALP, Noordwijkerhout, LNCS 85, pages 169\u2013181. Springer-Verlag, July 1980."},{"issue":"1","key":"4_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0022-0000(85)90001-7","volume":"30","author":"E. A. Emerson","year":"1985","unstructured":"E. A. Emerson and J. Y. Halpern. Decision procedures and expressiveness in the temporal logic of branching time. Journal of Computer and System Sciences, 30(1):1\u201324, 1985.","journal-title":"Journal of Computer and System Sciences"},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E. A. Emerson","year":"1986","unstructured":"E. A. Emerson and J. Y. Halpern. \u201cSometimes\u201d and \u201cNot Never\u201d revisited: On branching versus linear time temporal logic. Journal of the ACM, 33(1):151\u2013178, 1986.","journal-title":"Journal of the ACM"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, vol. B, chapter 16, pages 995\u20131072. Elsevier Science Publishers, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"4_CR8","first-page":"409","volume-title":"LNCS 398","author":"D. Gabbay","year":"1987","unstructured":"D. Gabbay. The declarative past and imperative future: Executable temporal logic for interactive systems. In Proc. Temporal Logic in Specification, Altrincham, UK, LNCS 398, pages 409\u2013448. Springer-Verlag, April 1987."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. On the temporal analysis of fairness. In Proc. 7th ACM Symp. Principles of Programming Languages, Las Vegas, Nevada, pages 163\u2013173, January 1980.","DOI":"10.1145\/567446.567462"},{"key":"4_CR10","series-title":"LNCS 267","first-page":"269","volume-title":"Proc. 14th ICALP","author":"T. Hafer","year":"1987","unstructured":"T. Hafer and W. Thomas. Computation tree logic CTL * and path quantifiers in the monadic theory of the binary tree. In Proc. 14th ICALP, Karlsruhe, LNCS 267, pages 269\u2013279. Springer-Verlag, July 1987."},{"key":"4_CR11","first-page":"299","volume-title":"Proc. AMAST'93","author":"F. Laroussinie","year":"1993","unstructured":"F. Laroussinie, S. Pinchinat, and Ph. Schnoebelen. Translation results for modal logics of reactive systems. In Proc. AMAST'93, Enschede, NL, pages 299\u2013310. Springer-Verlag, June 1993."},{"key":"4_CR12","first-page":"196","volume-title":"LNCS 193","author":"O. Lichtenstein","year":"1985","unstructured":"O. Lichtenstein, A. Pnueli, and L. Zuck. The glory of the past. In Proc. Logics of Programs Workshop, Brooklyn, LNCS 193, pages 196\u2013218. Springer-Verlag, June 1985."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"L. E. Moser, P. M. Melliar-Smith, G. Kutty, and Y. S. Ramakrishna. Completeness and soundness of axiomatizations for temporal logics without next. Fundamenta Informaticae, 1993. To appear.","DOI":"10.3233\/FI-1994-2141"},{"key":"4_CR14","series-title":"LNCS 354","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/BFb0013024","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"Z. Manna","year":"1989","unstructured":"Z. Manna and A. Pnueli. The anchored version of the temporal framework. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Noordwijkerhout, LNCS 354, pages 201\u2013284. Springer-Verlag, 1989."},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. A hierarchy of temporal properties. In Proc. 9th ACM Symp. Principles of Distributed Computing, Quebec City, Canada, pages 377\u2013408, August 1990.","DOI":"10.1145\/93385.93442"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurent Systems, volume I: Specification. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"M. Vardi. A temporal fixpoint calculus. In Proc. 15th ACM Symp. Principles of Programming Languages, San Diego, CA, pages 250\u2013259, January 1988.","DOI":"10.1145\/73560.73582"},{"key":"4_CR18","volume-title":"PhD thesis","author":"L. Zuck","year":"1986","unstructured":"L. Zuck. Past Temporal Logic. PhD thesis, Weizmann Institute, Rehovot, Israel, August 1986."}],"container-title":["Lecture Notes in Computer Science","STACS 94"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57785-8_130","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:43:25Z","timestamp":1640929405000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57785-8_130"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540577850","9783540483328"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-57785-8_130","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]},"assertion":[{"value":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}