{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:09:41Z","timestamp":1725574181828},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540653844"},{"type":"electronic","value":"9783540493822"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/978-3-540-49382-2_8","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T04:37:34Z","timestamp":1294461454000},"page":"78-89","source":"Crossref","is-referenced-by-count":3,"title":["A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems"],"prefix":"10.1007","author":[{"given":"Jean-Pierre","family":"Talpin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Nowak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Amagbegnon, T.P., Besnard, L., Le Guernic, P.: Implementation of the data-flow synchronous language Signal. In: Conference on Programming Language Design and Implementation. ACM, New York (1995)","DOI":"10.1145\/207110.207134"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Le Guernic, P., Jacquemot, C.: Synchronous programming with events and relations: the Signal language and its semantics. Science of Computer Programming\u00a016 (1991)","DOI":"10.1016\/0167-6423(91)90001-E"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming\u00a019 (1992)","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Bjesse, P., Claessen, K., Sheeran, M.: Lava: hardware design in Haskell. In: International Conference on Functional Programming. ACM, New York (1998)","DOI":"10.1145\/289423.289440"},{"key":"8_CR5","unstructured":"Boussinot, F.: Icobj programming. Technical report n. 3028. Inria (1996)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Caspi, P., Pouzet, M.: Synchronous Kahn networks. In: International Conference on Functional Programming. ACM, New York (1996)","DOI":"10.1145\/232627.232651"},{"key":"8_CR7","volume-title":"proceedings of the International Conference on Functional Programming","author":"C. Elliott","year":"1997","unstructured":"Elliott, C., Hudak, P.: Functional reactive animation. In: proceedings of the International Conference on Functional Programming. ACM, New York (1997)"},{"key":"8_CR8","volume-title":"Symposium on Principles of Programming Languages","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G.: The reflexive Cham and the join calculus. In: Symposium on Principles of Programming Languages. ACM, New York (1996)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data-flow programming language Lustre. Proceedings of the IEEE\u00a079(9) (1991)","DOI":"10.1109\/5.97300"},{"key":"8_CR10","volume-title":"Symposium on Principles of Programming Languages","author":"J. Hughes","year":"1996","unstructured":"Hughes, J., Pareto, L., Sabry, A.: Proving the correctness of reactive systems using sized types. In: Symposium on Principles of Programming Languages. ACM, New York (1996)"},{"key":"8_CR11","volume-title":"Symposium on Partial Evaluation and Semantics-Based Program Manipulation","author":"T. Jensen","year":"1995","unstructured":"Jensen, T.: Clock analysis of synchronous dataflowp rograms. In: Symposium on Partial Evaluation and Semantics-Based Program Manipulation. ACM, New York (1995)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Martin, U., Nipkow, T.: Unification in boolean rings. Journal of Automated Reasoning\u00a04 (1988)","DOI":"10.1007\/BF00297246"},{"key":"8_CR13","volume-title":"International Conference on Computer Languages","author":"J. Matthews","year":"1998","unstructured":"Matthews, J., Cook, B., Launchburry, J.: Microprocessor specification in Hawk. In: International Conference on Computer Languages. IEEE, Los Alamitos (1998)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Information and Computation (1992)","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"8_CR15","volume-title":"International Conference on Computer Languages","author":"R. Pucella","year":"1998","unstructured":"Pucella, R.: Reactive programming in Standard Ml. In: International Conference on Computer Languages. IEEE, Los Alamitos (1998)"},{"key":"8_CR16","unstructured":"Remi, D.: Type inference for records in a natural extension of Ml. Research report n. 1431. INRIA (1991)"},{"key":"8_CR17","volume-title":"Symposium on Logic in Computer Science","author":"V. Saraswat","year":"1994","unstructured":"Saraswat, V., Jagadeesan, R., Gupta, V.: Foundation of timed concurrent constraint programming. In: Symposium on Logic in Computer Science. IEEE, Los Alamitos (1994)"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Talpin, J.-P., Jouvelot, P.: The type and effect discipline. Information and Computation\u00a0111(2) (1994)","DOI":"10.1006\/inco.1994.1046"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-49382-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T18:06:48Z","timestamp":1559930808000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-49382-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653844","9783540493822"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-49382-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}