{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:21Z","timestamp":1761611301464},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540613770"},{"type":"electronic","value":"9783540685074"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61377-3_52","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:35:40Z","timestamp":1330292140000},"page":"434-451","source":"Crossref","is-referenced-by-count":9,"title":["Some extensions to propositional mean-value calculus: Expressiveness and decidability"],"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":"25_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi, L. Lamport: The existence of refinement mappings, Theoretical Computer Science, 82(2), 1991.","DOI":"10.1016\/0304-3975(91)90224-P"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, 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.","DOI":"10.1007\/BFb0031988"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"J.R. Buchi: Weak second order arithmetic and finite automata, Z. Math. Logik und Grundl. Math. 6, 1960.","DOI":"10.1002\/malq.19600060105"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"J.P. Burgess: Basic tense logic, in Handbook of Philosophical Logic, Vol.2, D. Reidel Publ. Co., 1984.","DOI":"10.1007\/978-94-009-6259-0_2"},{"key":"25_CR5","unstructured":"A.K.Chandra, J. Halpern, A. Meyer, R. Parikh: Equations between regular terms and an application to process logic, in Proc. 13 ACM Symp. on Theory of Computing, 1991."},{"key":"25_CR6","volume-title":"Handbook of Theo. Comp. Science, Vol. B","author":"E.A. Emerson","year":"1990","unstructured":"E.A. Emerson: Temporal and modal logics, in Handbook of Theo. Comp. Science, Vol. B, The MIT Press, Cambridge, 1990."},{"key":"25_CR7","unstructured":"H.B. Enderton: A mathematical introduction to logic, Academic Press, 1972."},{"key":"25_CR8","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":"25_CR9","doi-asserted-by":"crossref","unstructured":"M.R. Hansen, Zhou Chaochen: Semantics and Completeness of Duration Calculus, J. W. de Bakker, C. Huizing, W.-P. de Roever, G. Rozenberg, (Eds) Real-Time: Theory in Practice, REX Workshop, LNCS 600, pp 209\u2013225, 1992","DOI":"10.1007\/BFb0031994"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"M.R. Hansen, P.K. Pandya, Zhou Chaochen: Finite divergence, Theoretical Computer Science, 138 (1995).","DOI":"10.1016\/0304-3975(94)00145-9"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"J. Halpern, Y. Shoham: A prepositional modal logic of time intervals, JACM, 38(4), 1991.","DOI":"10.1145\/115234.115351"},{"key":"25_CR12","unstructured":"Li Xiaoshan: A Mean-Value Duration Calculus, Ph.D. Thesis, Institute of Software, Academia Sinica, Beijing, September 1993."},{"issue":"2","key":"25_CR13","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. In IEEE Computer, Vol. 18(2), pp10\u201319, 1985.","journal-title":"IEEE Computer"},{"key":"25_CR14","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":"25_CR15","volume-title":"Technical Report TR-CS-95\/2","author":"P.K. Pandya","year":"1994","unstructured":"P.K. Pandya: Weak chop inverses and liveness in Mean-value Calculus, Technical Report TR-CS-95\/2, Computer Science Group, TIFR, Bombay (August, 1994)."},{"key":"25_CR16","volume-title":"Technical Report TR-CS-95\/3","author":"P.K. Pandya","year":"1994","unstructured":"P.K. Pandya: A Recursive Mean Value Calculus, Technical Report TR-CS-95\/3, Computer Science Group, TIFR, Bombay, (August 1994)."},{"key":"25_CR17","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":"25_CR18","doi-asserted-by":"crossref","unstructured":"M.O. Rabin: Decidability of second order theories and automata on infinite trees, Trans. A.M.S. 149 (1969).","DOI":"10.2307\/1995086"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"S. Shelah: Monadic Theory of Order, Annals of of Math., 102 (1975).","DOI":"10.2307\/1971037"},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"J.U. Skakkebaek: Liveness and Fairness in Duration Calculus, in Proc CON-CUR'94, LNCS 836, Springer-Verlag, 1994.","DOI":"10.1007\/978-3-540-48654-1_23"},{"key":"25_CR21","volume-title":"Handbook of Theo. Comp. Science, Vol. B","author":"W. Thomas","year":"1990","unstructured":"W. Thomas: Automata on infinite words, in Handbook of Theo. Comp. Science, Vol. B, The MIT Press, Cambridge, 1990."},{"key":"25_CR22","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":"25_CR23","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":"25_CR24","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, M.R. Hansen, A.P. Ravn, H. Rischel: Duration Specifications for Shared Processors, Proc. of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Nijmegen, January 1992, LNCS 571, pp 21\u201332, 1992.","DOI":"10.1007\/3-540-55092-5_2"},{"key":"25_CR25","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, Feb. 1993.","DOI":"10.1007\/3-540-56503-5_8"},{"issue":"5","key":"25_CR26","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, A.P. Ravn: A Calculus of Durations. In Information Processing Letters 40(5), 1991, pp. 269\u2013276.","journal-title":"Information Processing Letters"},{"key":"25_CR27","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."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61377-3_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:33:51Z","timestamp":1640946831000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61377-3_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613770","9783540685074"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-61377-3_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}