{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:51Z","timestamp":1725455991081},"publisher-location":"Berlin\/Heidelberg","reference-count":19,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354058241X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0014001","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T02:34:32Z","timestamp":1132713272000},"page":"398-414","source":"Crossref","is-referenced-by-count":1,"title":["A hierarchy of partial order temporal properties"],"prefix":"10.1007","author":[{"given":"Marta","family":"Kwiatkowska","sequence":"first","affiliation":[]},{"given":"Doron","family":"Peled","sequence":"additional","affiliation":[]},{"given":"Wojciech","family":"Penczek","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"B. Alpern and F. B. Schneider. Defining liveness. Information Processing Letters, 21:181\u2013185, 1985.","journal-title":"Information Processing Letters"},{"unstructured":"E. Chang, Z. Manna, and A. Pnueli A Hierarchy of Temporal Properties. Stanford University, Technical Report.","key":"25_CR2"},{"key":"25_CR3","first-page":"105","volume-title":"number 480 in Lecture Notes in Computer Science","author":"V. Diekert","year":"1991","unstructured":"V. Diekert. On the concatenation of infinite traces. In Choffrut C. et al., editors, Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science (STACS'91), Hamburg 1991, number 480 in Lecture Notes in Computer Science, pages 105\u2013117, Berlin-Heidelberg-New York, 1991. Springer. To appear 1993 in Theoret. Comput. Sci."},{"key":"25_CR4","first-page":"617","volume-title":"number 665 in Lecture Notes in Computer Science","author":"V. Diekert","year":"1993","unstructured":"V. Diekert and A. Muscholl. Deterministic asynchronous automata for infinite traces. In P. Enjalbert, A. Finkel, and K. W. Wagner, editors, Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science (STACS'93), W\u00fcrzburg 1993, number 665 in Lecture Notes in Computer Science, pages 617\u2013628, Berlin-Heidelberg-New York, 1993. Springer."},{"key":"25_CR5","first-page":"583","volume-title":"number 623 in Lecture Notes in Computer Science","author":"P. Gastin","year":"1992","unstructured":"P. Gastin and A. Petit. Asynchronous automata for infinite traces. In W. Kuich, editor, Proceedings of the 19th International Colloquium on Automata Languages and Programming (ICALP'92), Vienna (Austria) 1992, number 623 in Lecture Notes in Computer Science, pages 583\u2013594, Berlin-Heidelberg-New York, 1992. Springer."},{"doi-asserted-by":"crossref","unstructured":"G. Gierz, K. Hofmann, K. Keimel, J. Lawson, M. Mislove, and D. Scott. A Compendium of Continuous Lattices. Springer-Verlag, 1980.","key":"25_CR6","DOI":"10.1007\/978-3-642-67678-9"},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0020-0190(90)90061-2","volume":"35","author":"M. Kwiatkowska","year":"1990","unstructured":"M. Kwiatkowska. A metric for traces. Information Processing Letters, 35:129\u2013135, 1990.","journal-title":"Information Processing Letters"},{"key":"25_CR8","first-page":"42","volume-title":"number 493 in Lecture Notes in Computer Science","author":"M. Kwiatkowska","year":"1991","unstructured":"M. Kwiatkowska. On the domain of traces and sequential composition. In S. Abramsky and T.S.E.. Maibaum, editors, Proceedings 16 th Coll. on Trees in Algebra and Programming (CAAP'91), Brighton (UK), number 493 in Lecture Notes in Computer Science, pages 42\u201356, Berlin-Heidelberg-New York, 1991. Springer."},{"unstructured":"M. Z. Kwiatkowska. On topological characterization of behavioural properties. In G. Reed, A. Roscoe, and R. Wachter, editors, Topology and Category Theory in Computer Science, pages 153\u2013177. Oxford University Press, 1991.","key":"25_CR9"},{"issue":"2","key":"25_CR10","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"SE-3","author":"L. Lamport","year":"1977","unstructured":"L. Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, SE-3(2):125\u2013143, 1977.","journal-title":"IEEE Transactions on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"S. Katz, D. Peled. Interleaving Set Temporal Logic. Theoretical Computer Science, Vol. 75, Number 3, 21\u201343, also appeared in proceedings of the 6 Annual ACM Symposium on Principles of Distributed Computing, Vancouver, Canada, 178\u2013190, 1987.","key":"25_CR11","DOI":"10.1145\/41840.41855"},{"doi-asserted-by":"crossref","unstructured":"A. Mazurkiewicz. Basic notions of trace theory. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, volume 354 of Lecture Notes in Computer Science, pages 25\u201334. Springer-Verlag, 1989.","key":"25_CR12","DOI":"10.1007\/BFb0013025"},{"doi-asserted-by":"crossref","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, volume 112 of Lecture Notes in Computer Science, pages 201\u2013284. Springer-Verlag, 1989.","key":"25_CR13","DOI":"10.1007\/BFb0013024"},{"doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. A hierarchy of temporal properties. In Proceedings, 9th ACM Symposium on Principles of Distributed Computing, pages 377\u2013408. ACM Press, 1990.","key":"25_CR14","DOI":"10.1145\/93385.93442"},{"issue":"1","key":"25_CR15","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0304-3975(91)90041-Y","volume":"83","author":"Z. Manna","year":"1991","unstructured":"Z. Manna and A. Pnueli. Completing the temporal picture. Theoretical Computer Science, 83(1):97\u2013139, 1991.","journal-title":"Theoretical Computer Science"},{"key":"25_CR16","first-page":"553","volume-title":"Lecture Notes in Computer Science 443","author":"D. Peled","year":"1990","unstructured":"D. Peled and A. Pnueli. Proving partial order liveness properties. Theoretical Computer Science, 1993. A preliminary version appeared in the proceedings of the 17th International Colloquium on Automata, Languages and Programming, Warwick University, England, July 1990, Lecture Notes in Computer Science 443, Springer Verlag, 553\u2013571."},{"issue":"No.1","key":"25_CR17","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, Vol. 4 No. 1, pp. 31:67, 1993.","journal-title":"International Journal of Foundations of Computer Science"},{"doi-asserted-by":"crossref","unstructured":"A.P. Sistla and E. Clarke. The complexity of propositional temporal logic. In 14th ACM Symposium on Theory of Computing, pages 159\u2013167, 1982.","key":"25_CR18","DOI":"10.1145\/800070.802189"},{"key":"25_CR19","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0304-3975(87)90129-0","volume":"54","author":"A. Szalas","year":"1987","unstructured":"A. Szalas. A complete axiomatic characterization of first-order temporal logic of linear time. Theoretical Computer Science, 54:199\u2013214, 1987.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Temporal Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0014001","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T00:34:59Z","timestamp":1586565299000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014001"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354058241X"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0014001","relation":{},"subject":[]}}