{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:15:39Z","timestamp":1725624939114},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642338250"},{"type":"electronic","value":"9783642338267"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33826-7_9","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T22:46:25Z","timestamp":1348613185000},"page":"126-140","source":"Crossref","is-referenced-by-count":2,"title":["A Denotational Model for Instantaneous Signal Calculus"],"prefix":"10.1007","author":[{"given":"Yongxin","family":"Zhao","sequence":"first","affiliation":[]},{"given":"Longfei","family":"Zhu","sequence":"additional","affiliation":[]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[]},{"given":"Jifeng","family":"He","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Berry, G.: The foundations of esterel. In: Proof, Language, and Interaction, Essays in Honour of Robin Milner, pp. 425\u2013454. The MIT Press (2000)","DOI":"10.7551\/mitpress\/5641.003.0021"},{"issue":"2","key":"9_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The esterel synchronous programming language: Design, semantics, implementation. Science Computer Program\u00a019(2), 87\u2013152 (1992)","journal-title":"Science Computer Program"},{"issue":"1","key":"9_CR3","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Initial algebra semantics and continuous algebras. Jounrnal of the ACM\u00a024(1), 68\u201395 (1977)","journal-title":"Jounrnal of the ACM"},{"issue":"8","key":"9_CR4","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/27651.27653","volume":"30","author":"C.A.R. Hoare","year":"1987","unstructured":"Hoare, C.A.R., Hayes, I.J., He, J., Morgan, C., Roscoe, A.W., Sanders, J.W., S\u00f8rensen, I.H., Spivey, J.M., Sufrin, B.: Laws of programming. Commun. ACM\u00a030(8), 672\u2013686 (1987)","journal-title":"Commun. ACM"},{"key":"9_CR5","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall International Series in Computer Science (1998)"},{"issue":"8","key":"9_CR6","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/BF01191809","volume":"30","author":"C.A.R. Hoare","year":"1993","unstructured":"Hoare, C.A.R., He, J., Sampaio, A.: Normal form approach to compiler design. Acta Inf.\u00a030(8), 701\u2013739 (1993)","journal-title":"Acta Inf."},{"key":"9_CR7","unstructured":"Laplante, P.A.: Real-Time Systems Design and Analysis: An Engineer\u2019s Handbook, 2nd edn. IEEE Press (1997)"},{"key":"9_CR8","unstructured":"Lee, E.A.: Cyber-Physical Systems - are computing foundations adequate? Technical report, Department of EECS, UC Berkeley (2006)"},{"issue":"1&2","key":"9_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(95)00082-8","volume":"160","author":"R.D. Maddux","year":"1996","unstructured":"Maddux, R.D.: Relation-algebraic semantics. Theoretical Computer Science\u00a0160(1&2), 1\u201385 (1996)","journal-title":"Theoretical Computer Science"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Mousavi, M.R.: Causality in the semantics of esterel: Revisited. In: SOS: Structural Operational Semantics. EPTCS, vol.\u00a018, pp. 32\u201345 (2009)","DOI":"10.4204\/EPTCS.18.3"},{"key":"9_CR11","unstructured":"Nissanke, N.: Real time systems. Prentice Hall series in computer science. Prentice Hall (1997)"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0304-3975(88)90049-7","volume":"60","author":"A.W. Roscoe","year":"1988","unstructured":"Roscoe, A.W., Hoare, C.A.R.: The laws of occam programming. Theoretical Computer Science\u00a060, 177\u2013229 (1988)","journal-title":"Theoretical Computer Science"},{"key":"9_CR13","unstructured":"Scott, D., Strachey, C.: Towards a mathematical semantics for computer languages. Technical Report PRG-6,Oxford Univeristiy Computer Laboratory (1971)"},{"issue":"4","key":"9_CR14","doi-asserted-by":"publisher","first-page":"708","DOI":"10.1145\/1113830.1113832","volume":"4","author":"O. Tardieu","year":"2005","unstructured":"Tardieu, O., de Simone, R.: Loops in esterel. ACM Transaction in Embedded Computer Systems\u00a04(4), 708\u2013750 (2005)","journal-title":"ACM Transaction in Embedded Computer Systems"},{"issue":"2","key":"9_CR15","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretical fixpoint theorem and its application. Pacific Journal of Mathmatics\u00a05(2), 285\u2013309 (1955)","journal-title":"Pacific Journal of Mathmatics"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-24559-6_1","volume-title":"Formal Methods and Software Engineering","author":"Y. Zhao","year":"2011","unstructured":"Zhao, Y., Jifeng, H.: Towards a Signal Calculus for Event-Based Synchronous Languages. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol.\u00a06991, pp. 1\u201313. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33826-7_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T20:01:14Z","timestamp":1714420874000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33826-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642338250","9783642338267"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33826-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}