{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:32Z","timestamp":1725664832220},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616481"},{"type":"electronic","value":"9783540706533"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61648-9_39","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:10:38Z","timestamp":1330294238000},"page":"148-167","source":"Crossref","is-referenced-by-count":9,"title":["Weak chop inverses and liveness in Mean-Value Calculus"],"prefix":"10.1007","author":[{"given":"Paritosh K.","family":"Pandya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"9_CR1","first-page":"43","volume":"600","author":"R. Alur","year":"1992","unstructured":"R. Alur, D. Dill: The Theory of Timed Automata, in Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 1991, LNCS 600, pp 43\u201373, 1992.","journal-title":"LNCS"},{"key":"9_CR2","first-page":"74","volume":"600","author":"R. Alur","year":"1992","unstructured":"R. Alur and T.A. Henzinger: Logics and models of real time: a survey. In Real Time: Theory in Practice, Mook, The Netherlands, June 1991, LNCS 600, pp 74\u2013106, 1992.","journal-title":"LNCS"},{"key":"9_CR3","unstructured":"H.B. Enderton: A mathematical introduction to logic, Academic Press, 1972."},{"key":"9_CR4","volume-title":"ProCoS-II Project Report OLD MRH 1\/1","author":"M.R. Hansen","year":"1993","unstructured":"M.R. Hansen, E.R. Olderog et al: A Duration Calculus Semantics for Real-Time Reactive Systems, ProCoS-II Project Report OLD MRH 1\/1, Universitat Oldenburg, Germany, 1993."},{"key":"9_CR5","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0304-3975(94)00145-9","volume":"138","author":"M.R. Hansen","year":"1995","unstructured":"M.R. Hansen, P.K. Pandya and Zhou Chaochen: Finite Divergence, Theoretical Computer Science, 138, pp 113\u2013139, 1995.","journal-title":"Theoretical Computer Science"},{"key":"9_CR6","first-page":"209","volume":"600","author":"M.R. Hansen","year":"1992","unstructured":"M.R. Hansen, Zhou Chaochen: Semantics and Completeness of Duration Calculus, in Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 1991, LNCS 600, pp 209\u2013225, 1992.","journal-title":"LNCS"},{"key":"9_CR7","volume-title":"Ph.D. Thesis","author":"L. Xiaoshan","year":"1993","unstructured":"Li Xiaoshan: A Mean-Value Duration Calculus, Ph.D. Thesis, Institute of Software, Academia Sinica, Beijing, September 1993."},{"issue":"2","key":"9_CR8","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B. Moszkowski","year":"1985","unstructured":"B. Moszkowski: A Temporal Logic for Multi-level Reasoning about Hardware, IEEE Computer, 18(2), pp 10\u201319, 1985.","journal-title":"IEEE Computer"},{"key":"9_CR9","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1007\/BF01191722","volume":"30","author":"Z. Manna","year":"1993","unstructured":"Z. Manna and A. Pnueli: Models of Reactivity, Acta Informatica, 30, pp 609\u2013678, 1993.","journal-title":"Acta Informatica"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"R.Koymans: Specifying real-time properties with metric temporal logic, Journal of Real-time Systems, 2, 1990.","DOI":"10.1007\/BF01995674"},{"key":"9_CR11","volume-title":"Technical Report CS-95\/2","author":"P.K. Pandya","year":"1995","unstructured":"P.K. Pandya: Weak Chop Inverses and Liveness in Duration Calculus, Technical Report CS-95\/2, Computer Science Group, TIFR, Bombay, January 1995."},{"key":"9_CR12","volume-title":"Technical Report TR-95\/9","author":"P.K. Pandya","year":"1995","unstructured":"P.K. Pandya: Some extensions to propositional Mean-Value Calculus: expressiveness and decidability, to appear in proc. CSL'95, Paderborn, 1995. also Technical Report TR-95\/9, Computer Science Group, TIFR, Bombay, 1995."},{"key":"9_CR13","unstructured":"P.K. Pandya, Y.S. Ramakrishna, R.K. Shyamasundar: A Compositional Semantics of Esterel in Duration Calculus, in proc. Second AMAST workshop on Real-time systems: Models and Proofs, Bordeux, June, 1995."},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"J.U. Skakkeb\u00e6k: Liveness and Fairness in Duration Calculus, in Proc. of CONCUR'94, LNCS 836, Springer-Verlag, 1994.","DOI":"10.1007\/978-3-540-48654-1_23"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"J.U. Skakkeb\u00e6k and N. Shankar: Towards a Duration Calculus Proof Assistant in PVS, in proc third conf. on Formal Techniques in Real Time and Fault Tolerant Systems, LNCS 863, 1994.","DOI":"10.1007\/3-540-58468-4_189"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Y. Venema: A modal logic for Chopping Intervals, Jour. Logic Computation, 1(4), 1991.","DOI":"10.1093\/logcom\/1.4.453"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Yu Xinyao, Wang Ji, Zhou Chaochen and P.K. Pandya: Formal Design of hybrid systems, in proc third conf. on Formal Techniques in Real Time and Fault Tolerant Systems, LNCS 863, 1994.","DOI":"10.1007\/3-540-58468-4_193"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen: Duration Calculi: An Overview, in Formal methods in programming and their applications, D. Bjorner, M. Broy and I.V. Pottosin (Eds.), LNCS 735, 1993.","DOI":"10.1007\/BFb0039713"},{"key":"9_CR19","first-page":"21","volume":"571","author":"Z. Chaochen","year":"1992","unstructured":"Zhou Chaochen, M.R. Hansen, A.P. Ravn, H. Rischel: Duration Specifications for Shared Processors, in proc. of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Nijmegen, January 1992, LNCS 571, pp 21\u201332, 1992.","journal-title":"LNCS"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, M.R. Hansen, P. Sestoft: Decidability and Undecidability Results for Duration Calculus, Proc. of STACS '93. 10th Symposium on Theoretical Aspects of Computer Science, W\u00fcrzburg, February 1993.","DOI":"10.1007\/3-540-56503-5_8"},{"issue":"5","key":"9_CR21","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1991","unstructured":"Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn: A Calculus of Durations, Information Processing Letters 40(5), pp.269\u2013276, 1991.","journal-title":"Information Processing Letters"},{"key":"9_CR22","volume-title":"UNU\/IIST Report No. 40","author":"Z. Chaochen","year":"1995","unstructured":"Zhou Chaochen, D.V. Hung and Li Xiaoshan: A Duration Calculus with Infinite Intervals, UNU\/IIST Report No. 40, UNU\/IIST, Macau, 1995."},{"key":"9_CR23","unstructured":"Zhou Chaochen, Li Xiaoshan: A Mean-Value Duration Calculus, in A classical mind: Essays in honour of C A R Hoare, Prentice-Hall international series in computer science, Prentice-Hall International, 1994."},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, A.P. Ravn, M.R. Hansen: An Extended Duration Calculus for Hybrid Real-Time Systems, in Hybrid Systems, R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel (Eds.), LNCS 736, pp 36\u201359, 1993.","DOI":"10.1007\/3-540-57318-6_23"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61648-9_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:53:55Z","timestamp":1640948035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61648-9_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616481","9783540706533"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-61648-9_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}