{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:19:47Z","timestamp":1725495587880},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540563204"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-56320-2_56","type":"book-chapter","created":{"date-parts":[[2007,11,19]],"date-time":"2007-11-19T10:53:33Z","timestamp":1195469613000},"page":"129-153","source":"Crossref","is-referenced-by-count":2,"title":["Time for concurrency"],"prefix":"10.1007","author":[{"given":"Zohar","family":"Manna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amir","family":"Pnueli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Lamport. An old-fashioned recipe for real time. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Proceedings of the REX Workshop \u201cReal-Time: Theory in Practice\u201d, volume 600 of Lect. Notes in Comp. Sci. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0031985"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"A. Bernstein and P. K. Harter. Proving real time properties of programs with temporal logic. In Proceedings of the Eighth Symposium on Operating Systems Principles, pages 1\u201311. ACM, 1981.","DOI":"10.1145\/800216.806585"},{"key":"8_CR3","unstructured":"D. Harel. Statecharts: A visual approach to complex systems. Technical report, Dept. of Applied Mathematics, Weizmann Institute of Science CS84-05, 1984."},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Sci. Comp. Prog., 8:231\u2013274, 1987.","journal-title":"Sci. Comp. Prog."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger. Sooner is safer than later. Technical report, Stanford University, 1991.","DOI":"10.21236\/ADA325549"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"E. Harel, O. Lichtenstein, and A. Pnueli. Explicit clock temporal logic. In Proc. 5th IEEE Symp. Logic in Comp. Sci., pages 402\u2013413, 1990.","DOI":"10.1109\/LICS.1990.113765"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"T. Henzinger, Z. Manna, and A. Pnueli. An interleaving model for real time. In 5th Jerusalem Conference on Information Technology, pages 717\u2013730, 1990.","DOI":"10.21236\/ADA326062"},{"key":"8_CR8","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":"8_CR9","doi-asserted-by":"crossref","unstructured":"T. Henzinger, Z. Manna, and A. Pnueli. Timed transition systems. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Proceedings of the REX Workshop \u201d Real-Time: Theory in Practice \u201c, volume 600 of Lect. Notes in Comp. Sci. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0031995"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"R. Koymans and W.-P. de Roever. Examples of a real-time temporal logic specifications. In B.D. Denvir, W.T. Harwood, M.I. Jackson, and M.J. Wray, editors, The Analysis of Concurrent Systems, volume 207 of Lect. Notes in Comp. Sci., pages 231\u2013252. Springer-Verlag, 1985.","DOI":"10.1007\/3-540-16047-7_50"},{"issue":"4","key":"8_CR11","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R. Koymans","year":"1990","unstructured":"R. Koymans. Specifying real-time properties with metric temporal logic. Real-time Systems, 2(4):255\u2013299, 1990.","journal-title":"Real-time Systems"},{"key":"8_CR12","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, volume 571 of Lect. Notes in Comp. Sci., pages 591\u2013619. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55092-5_32"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"R. Koymans, J. Vytopyl, and W.-P. de Roever. Real-time programming and asynchronous message passing. In Proc. 2nd ACM Symp. Princ. of Dist. Comp., pages 187\u2013197, 1983.","DOI":"10.1145\/800221.806721"},{"key":"8_CR14","doi-asserted-by":"crossref","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 \u201d Real-Time: Theory in Practice \u201c, volume 600 of Lect. Notes in Comp. Sci. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0032003"},{"key":"8_CR15","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":"8_CR16","unstructured":"Z. Manna and A. Pnueli. Models for reactive systems. Technical report, Dept. of Comp. Sci., Stanford University, 1992."},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"P. Moller and C. Tofts. A temporal calculus of communicating systems. In J.C.M. Baeten and J.W. Klop, editors, Proceedings of Concur'90, volume 458 of Lect. Notes in Comp. Sci., pages 401\u2013415. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0039073"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"X. Nicollin, J. Sifakis, and S. Yovine. From ATP to timed graphs and hybrid systems. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Proceedings of the REX Workshop \u201d Real-Time: Theory in Practice \u201c, volume 600 of Lect. Notes in Comp. Sci. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0032007"},{"key":"8_CR19","series-title":"Advanced Software Development Series","volume-title":"Temporal Logic of Real-Time Systems","author":"J.S. Ostroff","year":"1990","unstructured":"J.S. Ostroff. Temporal Logic of Real-Time Systems. Advanced Software Development Series. Research Studies Press (John Wiley & Sons), Taunton, England, 1990."},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"A. Pnueli and E. Harel. Applications of temporal logic to the specification of real time systems. In M. Joseph, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 331 of Lect. Notes in Comp. Sci., pages 84\u201398. Springer-Verlag, 1988.","DOI":"10.1007\/3-540-50302-1_4"},{"key":"8_CR21","unstructured":"A. Pnueli. How vital is liveness? In W.R. Cleaveland, editor, Proceedings of Concur'92, volume 630 of Lecture Notes in Computer Science, pages 162\u2013175. Springer-Verlag, 1992."},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"J. Sifakis. An overview and synthesis on timed process algebra. In K.G. Larsen and A. Skou, editors, 3rd Computer Aided Verification Workshop, volume 575 of Lect. Notes in Comp. Sci., pages 376\u2013398. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-55179-4_36"}],"container-title":["Lecture Notes in Computer Science","Future Tendencies in Computer Science, Control and Applied Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56320-2_56.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:49:08Z","timestamp":1619570948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56320-2_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540563204"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-56320-2_56","relation":{},"subject":[]}}