{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:13:31Z","timestamp":1725473611412},"reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558224"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0084790","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T08:12:14Z","timestamp":1164355934000},"page":"162-175","source":"Crossref","is-referenced-by-count":6,"title":["How vital is liveness? Verifying timing properties of reactive and hybrid systems"],"prefix":"10.1007","author":[{"given":"Amir","family":"Pnueli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"13_CR1","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1145\/6490.6494","volume":"33","author":"K.R. Apt","year":"1986","unstructured":"K.R. Apt and G.D. Plotkin. Countable nondeterminism and random assignment. J. ACM, 33,4:724\u2013767, 1986.","journal-title":"J. ACM"},{"key":"13_CR2","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. Info. Proc. Lett., 21:181\u2013185, 1985.","journal-title":"Info. Proc. Lett."},{"key":"13_CR3","first-page":"207","volume-title":"Formal Models of Programming","author":"H. Barringer","year":"1985","unstructured":"H. Barringer, R. Kuiper, and A. Pnueli. A compositional temporal approach to a csp-like language. In E.J. Neuhold and G. Chroust, editors, Formal Models of Programming, pages 207\u2013227. IFIP, North Holland, 1985."},{"issue":"9","key":"13_CR4","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1145\/365559.365617","volume":"8","author":"E.W. Dijkstra","year":"1965","unstructured":"E.W. Dijkstra. Solution of a problem in concurrent programming control. Comm. ACM, 8(9):569, 1965.","journal-title":"Comm. ACM"},{"key":"13_CR5","first-page":"43","volume-title":"Programming Languages","author":"E.W. Dijkstra","year":"1968","unstructured":"E.W. Dijkstra. Cooperating sequential processes. In F. Genuys, editor, Programming Languages, pages 43\u2013112, New York, 1968. Academic Press."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"N. Francez. Fairness. Springer-Verlag, 1986.","DOI":"10.1007\/978-1-4612-4886-6"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"T. Henzinger, Z. Manna, and A. Pnueli. Temporal proof methodologies for real-time systems. In Proc. 18th ACM Symp. Princ. of Prog. Lang., pages 353\u2013366, 1991.","DOI":"10.1145\/99583.99629"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Y. Kesten and A. Pnueli. Timed and hybrid statecharts and their textual representation. In J. Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 591\u2013619. Lec. Notes in Comp. Sci. 571, Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55092-5_32"},{"key":"13_CR9","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"3","author":"L. Lamport","year":"1977","unstructured":"L. Lamport. Proving the correctness of multiprocess programs. IEEE Trans. Software Engin., 3:125\u2013143, 1977.","journal-title":"IEEE Trans. Software Engin."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"D. Lehmann, A. Pnueli, and J. Stavi. Impartiality, justice and fairness: The ethics of concurrent termination. In Proc. 8th Int. Colloq. Aut. Lang. Prog., pages 264\u2013277. Lec. Notes in Comp. Sci. 115, Springer-Verlag, 1981.","DOI":"10.1007\/3-540-10843-2_22"},{"key":"13_CR11","volume-title":"volume 600 of LNCS","author":"O. Maler","year":"1992","unstructured":"O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Proceedings of the REX Workshop \u201dReal-Time: Theory in Practice\u201c, volume 600 of LNCS, Berlin, 1992. Springer Verlag."},{"issue":"1","key":"13_CR12","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. Theor. Comp. Sci., 83(1):97\u2013130, 1991.","journal-title":"Theor. Comp. Sci."},{"key":"13_CR13","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1991","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer Verlag, New York, 1991."},{"key":"13_CR14","series-title":"Lec. Notes in Comp. Sci.","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1007\/3-540-10007-5_47","volume-title":"Abstract Software Specification","author":"D. Park","year":"1980","unstructured":"D. Park. On the semantics of fair parallelism. In Abstract Software Specification, pages 504\u2013524, Berlin, 1980. Lec. Notes in Comp. Sci. 86, Springer-Verlag."},{"key":"13_CR15","series-title":"Mathematical Centre Tracts 159","first-page":"133","volume-title":"Foundations of Computer Science IV, Distributed Systems","author":"D. Park","year":"1983","unstructured":"D. Park. The fairness problem and nondeterministic computing netrworks. In J.W. de Bakker and J. Van Leeuwen, editors, Foundations of Computer Science IV, Distributed Systems, pages 133\u2013161. Mathematical Centre Tracts 159, Center for Mathematics and Computer Science (CWI), Amsterdam, 1983."}],"container-title":["Lecture Notes in Computer Science","CONCUR '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0084790.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T17:07:22Z","timestamp":1607533642000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0084790"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540558224"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0084790","relation":{},"subject":[]}}