{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:09:52Z","timestamp":1725574192425},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540653844"},{"type":"electronic","value":"9783540493822"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/978-3-540-49382-2_23","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T23:37:34Z","timestamp":1294443454000},"page":"257-268","source":"Crossref","is-referenced-by-count":0,"title":["Recursive Mean-Value Calculus"],"prefix":"10.1007","author":[{"given":"Paritosh K.","family":"Pandya","sequence":"first","affiliation":[]},{"given":"Y. S.","family":"Ramakrishna","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A.: A Really Temporal Logic. Jour. ACM\u00a041(1) (1994)","DOI":"10.1145\/174644.174651"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-51803-7","volume-title":"Temporal Logic in Specification","author":"B. Banieqbal","year":"1989","unstructured":"Banieqbal, B., Barringer, H.: Temporal Logic with Fixed Points. In: Banieqbal, B., Pnueli, A., Barringer, H. (eds.) Temporal Logic in Specification. LNCS, vol.\u00a0398. Springer, Heidelberg (1989)"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Real-Time: Theory in Practice","author":"E. Emerson","year":"1992","unstructured":"Emerson, E.: Real-time and the Mu Calculus. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol.\u00a0600. Springer, Heidelberg (1992)"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Languages and Programming","author":"E. Emerson","year":"1980","unstructured":"Emerson, E., Clarke, E.: Characterising Correctness Properties of Parallel Programs using Fixed-points. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol.\u00a085. Springer, Heidelberg (1980)"},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0304-3975(94)00145-9","volume":"138","author":"M.R. Hansen","year":"1994","unstructured":"Hansen, M.R., Pandya, P.K.: Zhou Chaochen. Finite Divergence. Theoretical Computer Science\u00a0138, 113\u2013139 (1994)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"23_CR6","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/BF01211086","volume":"9","author":"M.R. Hansen","year":"1997","unstructured":"Hansen, M.R., Zhou, C.: Chaochen Zhou. Duration calculus: Logical foundations. Formal Aspects of Computing\u00a09(3), 283\u2013330 (1997)","journal-title":"Formal Aspects of Computing"},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D.: Results on Propositional Mu-calculus. Thoeretical Computer Science\u00a027, 333\u2013354 (1983)","journal-title":"Thoeretical Computer Science"},{"key":"23_CR8","unstructured":"Li, X.: A Mean Value Calculus. Ph.D. Thesis, Software Institute, Academia Sinica (1994)"},{"issue":"2","key":"23_CR9","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B. Moszkowski","year":"1985","unstructured":"Moszkowski, B.: A Temporal Logic for Multi-level Reasoning about Hardware. IEEE Computer\u00a018(2), 10\u201319 (1985)","journal-title":"IEEE Computer"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Science Logic","author":"P.K. Pandya","year":"1996","unstructured":"Pandya, P.K.: Some Extensions to Mean-Value Calculus: Expressiveness and Decidability. In: Kleine B\u00fcning, H. (ed.) CSL 1995. LNCS, vol.\u00a01092. Springer, Heidelberg (1996)"},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/BFb0055336","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"P.K. Pandya","year":"1998","unstructured":"Pandya, P.K., Hung, D.V.: Duration Calculus of Weakly Monotonic Time. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol.\u00a01486, p. 55. Springer, Heidelberg (1998)"},{"key":"23_CR12","unstructured":"Pandya, P.K., Ramakrishna, Y.S.: A Recursive Mean Value Calculus. Technical Report TCS-95\/3, Computer Science Group, TIFR, Bombay (1995)"},{"key":"23_CR13","unstructured":"Pandya, P.K., Ramakrishna, Y.S., Shyamasundar, R.K.: A Compositional Semantics of Esterel in Duration Calculus. In: Proc. Second AMAST workshop on Real-time Systems: Models and Proofs, Bordeux (June 1995)"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Pandya, P.K., Wang, H., Xu, Q.: Towards a Theory of Sequential Hybrid Programs. In: de Roever, W.P., Gries, D. (eds.) Proc. PROCOMET 1998, Shelter Island, New York. Chapman & Hall, Boca Raton (1998)","DOI":"10.1007\/978-0-387-35358-6_24"},{"key":"23_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"J.U. Skakkebaek","year":"1994","unstructured":"Skakkebaek, J.U., Shankar, N.: Towards a Duration Calculus Proof Assistant in PVS. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994 and ProCoS 1994. LNCS, vol.\u00a0863. Springer, Heidelberg (1994)"},{"key":"23_CR16","first-page":"476","volume-title":"Handbook of Logic in Computer Science","author":"C. Stirling","year":"1995","unstructured":"Stirling, C.: Modal and Temporal logics. In: Handbook of Logic in Computer Science, vol.\u00a02, pp. 476\u2013563. Clarendon Press, Oxford (1995)"},{"key":"23_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/BFb0055355","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"G. Schneider","year":"1998","unstructured":"Schneider, G., Xu, Q.: Towards Formal Semantics of Verilog using Duration Calculus. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol.\u00a01486, p. 282. Springer, Heidelberg (1998)"},{"issue":"5","key":"23_CR18","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"C. Zhou","year":"1991","unstructured":"Zhou, C., Hoare, C.A.R., Ravn, A.P.: A Calculus of Durations. Information Processing Letters\u00a040(5), 269\u2013276 (1991)","journal-title":"Information Processing Letters"},{"key":"23_CR19","first-page":"431","volume-title":"A Classical Mind: Essays in Honour of C.A.R. Hoare","author":"C. Zhou","year":"1994","unstructured":"Zhou, C., Li, X.: A Mean Value Calculus of Durations. In: Roscoe, A.W. (ed.) A Classical Mind: Essays in Honour of C.A.R. Hoare, pp. 431\u2013451. Prentice Hall International, Englewood Cliffs (1994)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-49382-2_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T11:37:41Z","timestamp":1553341061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-49382-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653844","9783540493822"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-49382-2_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}