{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:58:49Z","timestamp":1725458329700},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336652"},{"type":"electronic","value":"9783642336669"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33666-9_21","type":"book-chapter","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T12:50:20Z","timestamp":1347972620000},"page":"319-334","source":"Crossref","is-referenced-by-count":1,"title":["The Coroutine Model of Computation"],"prefix":"10.1007","author":[{"given":"Chris","family":"Shaver","sequence":"first","affiliation":[]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Andr\u00e9, C.: SyncCharts: A visual representation of reactive behaviors. Rapport de recherche tr95-52, Universit\u00e9 de Nice-Sophia Antipolis (1995)"},{"issue":"33","key":"21_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2003.05.007","volume":"88","author":"C. Andr\u00e9","year":"2004","unstructured":"Andr\u00e9, C.: Computing synccharts reactions. Electronic Notes in Theoretical Computer Science\u00a088(33), 3\u201319 (2004)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"21_CR3","unstructured":"Berry, G.: The Constructive Semantics of Pure Esterel. In: Program (1999)"},{"issue":"9","key":"21_CR4","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1109\/5.97299","volume":"79","author":"F. Boussinot","year":"1991","unstructured":"Boussinot, F., de Simone, R.: The ESTEREL language. Proceedings of the IEEE\u00a079(9), 1293\u20131304 (1991)","journal-title":"Proceedings of the IEEE"},{"issue":"4","key":"21_CR5","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1002\/spe.4380210406","volume":"21","author":"F. Boussinot","year":"1991","unstructured":"Boussinot, F.: Reactive C: An extension of C to program reactive systems. Software: Practice and Experience\u00a021(4), 401\u2013428 (1991)","journal-title":"Software: Practice and Experience"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Broy, M.: Modelling Operating System Structures by Timed Stream Processing Functions. Journal of Functional Programming, 1\u201326 (1992)","DOI":"10.1017\/S0956796800000241"},{"key":"21_CR7","unstructured":"Broy, M., Cengarle, M.V., Rumpe, B.: Semantics of UML, Towards a System Model for UML, Part 3: The State Machine Model. Technical report, Technische Universit\u00e4t M\u00fcnchen (2007)"},{"key":"21_CR8","unstructured":"Edwards, S.A.: The Specification and Execution of Heterogeneous Synchronous Reactive Systems. Technical report, University of California Berkeley (1997)"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Hamon, G.: A denotational semantics for Stateflow. In: Proceedings of the 5th ACM International Conference, pp. 164\u2013172 (2005)","DOI":"10.1145\/1086228.1086260"},{"issue":"3","key":"21_CR10","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08(3), 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"21_CR11","unstructured":"Kahn, G., MacQueen, D., et al.: Coroutines and networks of parallel processes (1976)"},{"issue":"c","key":"21_CR12","first-page":"1","volume":"0720882","author":"E.A. Lee","year":"2008","unstructured":"Lee, E.A.: The semantics of dataflow with firing. Semantics to Computer Science\u00a00720882(c), 1\u201320 (2008)","journal-title":"Semantics to Computer Science"},{"issue":"3","key":"21_CR13","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1142\/S0218126603000751","volume":"12","author":"E.A. Lee","year":"2003","unstructured":"Lee, E.A., Neuendorffer, S.: Actor-oriented design of embedded hardware and software systems. Journal of Circuits Systems\u00a012(3), 231\u2013260 (2003)","journal-title":"Journal of Circuits Systems"},{"key":"21_CR14","unstructured":"Lee, E.A., Tripakis, S.: Modal models in Ptolemy. In: 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT), vol.\u00a047, pp. 11\u201321 (2010)"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Maraninchi, F., Bouhadiba, T.: 42: Programmable models of computation for a component-based approach to heterogeneous embedded systems. In: Proceedings of the 6th International Conference on Generative Programming and Component Engineering, pp. 53\u201362. ACM (2007)","DOI":"10.1145\/1289971.1289981"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Tripakis, S., Stergiou, C., Shaver, C., Lee, E.A.: A Modular Formal Semantics for Ptolemy. Mathematical Structures in Computer Science (to appear, 2012)","DOI":"10.1017\/S0960129512000278"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33666-9_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:18:09Z","timestamp":1620116289000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33666-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336652","9783642336669"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33666-9_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}