{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T22:34:40Z","timestamp":1784932480098,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642171635","type":"print"},{"value":"9783642171642","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17164-2_1","type":"book-chapter","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T10:54:39Z","timestamp":1290164079000},"page":"1-15","source":"Crossref","is-referenced-by-count":64,"title":["A Calculus for Hybrid CSP"],"prefix":"10.1007","author":[{"given":"Jiang","family":"Liu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jidong","family":"Lv","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhao","family":"Quan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Naijun","family":"Zhan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hengjun","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chaochen","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Liang","family":"Zou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-745-5","volume-title":"Verfication of Sequential and Concurrent Programs","author":"K. Apt","year":"2009","unstructured":"Apt, K., de Boer, F., Olderog, E.-R.: Verfication of Sequential and Concurrent Programs. Springer, Heidelberg (2009) ISBN 978-1-184882-744-8"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume-title":"Automata Theory and Formal Languages","author":"G.E. Collins","year":"1975","unstructured":"Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Brakhage, H. (ed.) GI-Fachtagung 1975. LNCS, vol.\u00a033, pp. 134\u2013183. Springer, Heidelberg (1975)"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_18","volume-title":"Computer Aided Verification","author":"S. Gulwani","year":"2008","unstructured":"Gulwani, S., Tiwari, A.: Constraint-based approach for analysis of hybrid systems. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol.\u00a05123, Springer, Heidelberg (2008)"},{"key":"1_CR4","unstructured":": From CSP to hybrid systems. In: The proc. of A Classical Mind: Essays in Honour of C. A. R. Hoare. International Series In Computer Science, pp. 171\u2013189. Prentice-Hall, Englewood Cliffs (1994), ISBN:0-13-294844-3"},{"key":"1_CR5","unstructured":"Liu, J., Zhan, N., Zhao, H.: A complete method for generating polynomial differential invariants. Technical Report of State Key Lab. of Comp. Sci., ISCAS-LCS-10-15 (2010)"},{"issue":"7","key":"1_CR6","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/BF01191722","volume":"30","author":"Z. Manna","year":"1993","unstructured":"Manna, Z., Pnueli, A.: Models of reactitivity. Acta Informatica\u00a030(7), 609\u2013678 (1993)","journal-title":"Acta Informatica"},{"key":"1_CR7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511619953","volume-title":"Real-Time Systems: Formal Secification and Automatic Verification","author":"R.-R. Olderog","year":"2008","unstructured":"Olderog, R.-R., Dierks, H.: Real-Time Systems: Formal Secification and Automatic Verification. Cambridge University Press, Cambridge (2008)"},{"issue":"1","key":"1_CR8","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1093\/logcom\/exn070","volume":"20","author":"A. Platzer","year":"2010","unstructured":"Platzer, A.: Differential-algebraic dynamic logic for differential-algebraic programs. J. of Logic and Computation\u00a020(1), 309\u2013352 (2010)","journal-title":"J. of Logic and Computation"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10817-008-9103-8","volume":"41","author":"A. Platzer","year":"2007","unstructured":"Platzer, A.: Differential dynamic logic for hybrid systems. J. of Automated Reasoning\u00a041, 143\u2013189 (2007)","journal-title":"J. of Automated Reasoning"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-540-70545-1_17","volume-title":"Computer Aided Verification","author":"A. Platzer","year":"2008","unstructured":"Platzer, A., Clarke, E.M.: Computing differential invariants of hybrid systems as fixedpoints. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol.\u00a05123, pp. 176\u2013189. Springer, Heidelberg (2008)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-540-24743-2_32","volume-title":"Hybrid Systems: Computation and Control","author":"S. Prajna","year":"2004","unstructured":"Prajna, S., Jadbabaie, A.: Safety verification of hybrid systems using barrier certificates. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 477\u2013492. Springer, Heidelberg (2004)"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1007\/978-3-540-24743-2_36","volume-title":"Hybrid Systems: Computation and Control","author":"S. Sankaranarayanan","year":"2004","unstructured":"Sankaranarayanan, S., Sipma, H.B., Manna, Z.: Constructing invariants for hybrid systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 539\u2013554. Springer, Heidelberg (2004)"},{"key":"#cr-split#-1_CR13.1","doi-asserted-by":"crossref","unstructured":"Xia, B.: DISCOVERER: A tool for solving semi-algebraic systems. In: Software Demo at ISSAC 2007, Waterloo, July 30 (2007);","DOI":"10.1145\/1358190.1358197"},{"key":"#cr-split#-1_CR13.2","unstructured":"Also: ACM SIGSAM Bulletin 41(3),102???103 (September 2007)"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1006\/jsco.1998.0274","volume":"28","author":"L. Yang","year":"1999","unstructured":"Yang, L.: Recent advances on determining the number of real roots of parametric polynomials. J. Symbolic Computation\u00a028, 225\u2013242 (1999)","journal-title":"J. Symbolic Computation"},{"key":"1_CR15","first-page":"628","volume":"39","author":"L. Yang","year":"1996","unstructured":"Yang, L., Hou, X., Zeng, Z.: A complete discrimination system for polynomials. Science in China (Ser. E)\u00a039, 628\u2013646 (1996)","journal-title":"Science in China (Ser. E)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems III","author":"C. Zhou","year":"1996","unstructured":"Zhou, C., Wang, J., Ravn, A.: A formal description of hybrid systems. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol.\u00a01066, Springer, Heidelberg (1996)"},{"key":"1_CR17","unstructured":"Zhang, S.: The General Technical Solutions to Chinese Train Control System at Level 3 (CTCS-3). China Railway Publisher (2008)"},{"key":"1_CR18","volume-title":"Duration Calculus: A Formal Approach to Real-Time Systems","author":"C. Zhou","year":"2004","unstructured":"Zhou, C., Hansen, M.: Duration Calculus: A Formal Approach to Real-Time Systems. Springer, Heidelberg (2004), ISBN 3-540-40823-1"},{"issue":"5","key":"1_CR19","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.: A calculus of durations. Information Processing Letters\u00a040(5), 269\u2013276 (1991)","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17164-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T09:19:02Z","timestamp":1553246342000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17164-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642171635","9783642171642"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17164-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}