{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T04:13:52Z","timestamp":1744172032193,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642333132"},{"type":"electronic","value":"9783642333149"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-33314-9_4","type":"book-chapter","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T04:05:18Z","timestamp":1347422718000},"page":"50-65","source":"Crossref","is-referenced-by-count":4,"title":["Towards an Algebra for Real-Time Programs"],"prefix":"10.1007","author":[{"given":"Brijesh","family":"Dongol","sequence":"first","affiliation":[]},{"given":"Ian J.","family":"Hayes","sequence":"additional","affiliation":[]},{"given":"Larissa","family":"Meinicke","sequence":"additional","affiliation":[]},{"given":"Kim","family":"Solin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus: A Systematic Introduction","author":"R.J. Back","year":"1998","unstructured":"Back, R.J., Von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer-Verlag New York, Inc., Secaucus (1998)"},{"issue":"1","key":"4_CR2","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/s11241-010-9094-5","volume":"45","author":"A. Burns","year":"2010","unstructured":"Burns, A., Hayes, I.J.: A timeband framework for modelling real-time systems. Real-Time Systems\u00a045(1), 106\u2013142 (2010)","journal-title":"Real-Time Systems"},{"issue":"4","key":"4_CR3","doi-asserted-by":"publisher","first-page":"798","DOI":"10.1145\/1183278.1183285","volume":"7","author":"J. Desharnais","year":"2006","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Kleene algebra with domain. ACM Trans. Comput. Log.\u00a07(4), 798\u2013833 (2006)","journal-title":"ACM Trans. Comput. Log."},{"key":"4_CR4","unstructured":"Dongol, B., Hayes, I.J.: Approximating idealised real-time specifications using time bands. In: AVoCS 2011. ECEASST, vol.\u00a046, pp. 1\u201316. EASST (2012)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-642-31113-0_7","volume-title":"Mathematics of Program Construction","author":"B. Dongol","year":"2012","unstructured":"Dongol, B., Hayes, I.J.: Deriving Real-Time Action Systems Controllers from Multiscale System Specifications. In: Gibbons, J., Nogueira, P. (eds.) MPC 2012. LNCS, vol.\u00a07342, pp. 102\u2013131. Springer, Heidelberg (2012)"},{"key":"4_CR6","unstructured":"Dongol, B., Hayes, I.J.: Deriving real-time action systems in a sampling logic. Science of Computer Programming (2012) (accepted October 17, 2011)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-642-30729-4_4","volume-title":"Integrated Formal Methods","author":"B. Dongol","year":"2012","unstructured":"Dongol, B., Hayes, I.J.: Rely\/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands. In: Derrick, J., Gnesi, S., Latella, D., Treharne, H. (eds.) IFM 2012. LNCS, vol.\u00a07321, pp. 39\u201353. Springer, Heidelberg (2012)"},{"key":"4_CR8","unstructured":"Dongol, B., Hayes, I.J., Robinson, P.J.: Reasoning about real-time teleo-reactive programs. Technical Report SSE-2010-01, The University of Queensland (2010)"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1007\/978-3-642-24559-6_41","volume-title":"Formal Methods and Software Engineering","author":"W. Guttmann","year":"2011","unstructured":"Guttmann, W., Struth, G., Weber, T.: Automating Algebraic Methods in Isabelle. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol.\u00a06991, pp. 617\u2013632. Springer, Heidelberg (2011)"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/1479772.1479789","volume-title":"Proceedings of the 2008 RISE\/EFTS Joint International Workshop on Software Engineering for Resilient Systems","author":"I.J. Hayes","year":"2008","unstructured":"Hayes, I.J.: Towards reasoning about teleo-reactive programs for robust real-time systems. In: Proceedings of the 2008 RISE\/EFTS Joint International Workshop on Software Engineering for Resilient Systems, pp. 87\u201394. ACM, New York (2008)"},{"key":"4_CR11","unstructured":"Hayes, I.J., Burns, A., Dongol, B., Jones, C.B.: Comparing models of nondeterministic expression evaluation. Technical Report CS-TR-1273, Newcastle University (2011)"},{"key":"4_CR12","first-page":"278","volume-title":"LICS 1996","author":"T.A. Henzinger","year":"1996","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: LICS 1996, pp. 278\u2013292. IEEE Computer Society, Washington, DC (1996)"},{"issue":"1","key":"4_CR13","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.jlap.2007.10.004","volume":"76","author":"P. H\u00f6fner","year":"2008","unstructured":"H\u00f6fner, P., M\u00f6ller, B.: Algebraic neighbourhood logic. J. Log. Algebr. Program.\u00a076(1), 35\u201359 (2008)","journal-title":"J. Log. Algebr. Program."},{"issue":"2","key":"4_CR14","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1016\/j.jlap.2008.08.005","volume":"78","author":"P. H\u00f6fner","year":"2009","unstructured":"H\u00f6fner, P., M\u00f6ller, B.: An algebra of hybrid systems. J. Log. Algebr. Program.\u00a078(2), 74\u201397 (2009)","journal-title":"J. Log. Algebr. Program."},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/978-3-540-75221-9_16","volume-title":"Formal Methods and Hybrid Real-Time Systems","author":"C.B. Jones","year":"2007","unstructured":"Jones, C.B., Hayes, I.J., Jackson, M.A.: Deriving Specifications for Systems That Are Connected to the Physical World. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) Bj\u00f8rner\/Zhou Festschrift. LNCS, vol.\u00a04700, pp. 364\u2013390. Springer, Heidelberg (2007)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Moszkowski, B.C.: A complete axiomatization of interval temporal logic with infinite time. In: LICS, pp. 241\u2013252 (2000)","DOI":"10.1109\/LICS.2000.855773"},{"issue":"1-2","key":"4_CR17","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0304-3975(00)00308-X","volume":"274","author":"P.-Y. Schobbens","year":"2002","unstructured":"Schobbens, P.-Y., Raskin, J.-F., Henzinger, T.A.: Axioms for real-time logics. Theor. Comput. Sci.\u00a0274(1-2), 151\u2013182 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-45442-X_14","volume-title":"Mathematics of Program Construction","author":"J. Wright von","year":"2002","unstructured":"von Wright, J.: From Kleene Algebra to Refinement Algebra. In: Boiten, E.A., M\u00f6ller, B. (eds.) MPC 2002. LNCS, vol.\u00a02386, pp. 233\u2013262. Springer, Heidelberg (2002)"},{"key":"4_CR19","unstructured":"Zhou, C., Hansen, M.R.: Duration Calculus: A Formal Approach to Real-Time Systems. EATCS: Monographs in Theoretical Computer Science. Springer (2004)"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33314-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T08:58:07Z","timestamp":1744102687000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33314-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642333132","9783642333149"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33314-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}