{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T06:32:35Z","timestamp":1759991555269},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642145209"},{"type":"electronic","value":"9783642145216"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14521-6_15","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T10:52:24Z","timestamp":1280400744000},"page":"258-278","source":"Crossref","is-referenced-by-count":6,"title":["Denotational Approach to an Event-Driven System-Level Language"],"prefix":"10.1007","author":[{"given":"Huibiao","family":"Zhu","sequence":"first","affiliation":[]},{"given":"Jifeng","family":"He","sequence":"additional","affiliation":[]},{"given":"Xiaoqing","family":"Peng","sequence":"additional","affiliation":[]},{"given":"Naiyong","family":"Jin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"15_CR1","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1006\/inco.1996.0056","volume":"127","author":"S.D. Brookes","year":"1996","unstructured":"Brookes, S.D.: Full abstraction for a shared-variable parallel language. Information and Computation\u00a0127(2), 145\u2013163 (1996)","journal-title":"Information and Computation"},{"key":"15_CR2","unstructured":"Gawanmeh, A., Habibi, A., Tahar, S.: An executable operational semantics for SystemC using abstract state machines. Technical report, Department of Electrical and Computer Engineering, Concordia University Montreal (March 2004)"},{"key":"15_CR3","unstructured":"Habibi, A., Tahar, S.: SystemC fixpoint semantics. Technical report, Department of Electrical and Computer Engineering, Concordia University Montreal (January 2005)"},{"key":"15_CR4","unstructured":"He, J.: Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers. McGraw-Hill International Series in Software Engineering (1994)"},{"issue":"8","key":"15_CR5","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/27651.27653","volume":"38","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., Sorensen, I.H., Spivey, J.M., Sufrin, B.: Laws of programming. Communications of the ACM\u00a038(8), 672\u2013686 (1987)","journal-title":"Communications of the ACM"},{"key":"15_CR6","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall International Series in Computer Science (1998)"},{"key":"15_CR7","unstructured":"IEEE. IEEE Standard Hardware Description Language based on the Verilog Hardware Description Language, vol. IEEE Standard 1364-2001. IEEE, Los Alamitos (2001)"},{"key":"15_CR8","volume-title":"Communication and Mobile System: \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communication and Mobile System: \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"key":"15_CR9","unstructured":"Open SystemC Initiative (OSCI). Functional Specification for SystemC 2.0 (October 2001)"},{"key":"15_CR10","unstructured":"Open SystemC Initiative (OSCI). SystemC 2.0.1 Language Reference Manual (2003)"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1109\/SEW.2006.10","volume-title":"Proc. SEW-30: The 30th IEEE\/NASA Software Engineering Workshop, Columbia, Maryland, USA","author":"X. Peng","year":"2006","unstructured":"Peng, X., Zhu, H., He, J., Jin, N.: An operational semantics of an event-driven system-level simulator. In: Proc. SEW-30: The 30th IEEE\/NASA Software Engineering Workshop, Columbia, Maryland, USA, April 2006, pp. 190\u2013200. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"15_CR12","first-page":"64","volume-title":"DATE \u201901: Proceedings of the conference on Design, automation and test in Europe","author":"J. Ruf","year":"2001","unstructured":"Ruf, J., Hoffmann, D.W., Gerlach, J., Kropf, T., Rosenstiel, W., M\u00fcller, W.: The simulation semantics of systemc. In: DATE \u201901: Proceedings of the conference on Design, automation and test in Europe, Piscataway, NJ, USA, March 2001, pp. 64\u201370. IEEE Press, Los Alamitos (2001)"},{"key":"15_CR13","unstructured":"Zhu, H.: Linking the Semantics of a Multithreaded Discrete Event Simulation Language. PhD thesis, London South Bank University (February 2005)"}],"container-title":["Lecture Notes in Computer Science","Unifying Theories of Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14521-6_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:54:25Z","timestamp":1606186465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14521-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642145209","9783642145216"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14521-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}