{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:43:12Z","timestamp":1725496992516},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418641"},{"type":"electronic","value":"9783540453154"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45315-6_26","type":"book-chapter","created":{"date-parts":[[2007,12,3]],"date-time":"2007-12-03T06:28:39Z","timestamp":1196663319000},"page":"394-408","source":"Crossref","is-referenced-by-count":2,"title":["An Axiomatic Semantics for the Synchronous Language Gentzen"],"prefix":"10.1007","author":[{"given":"Simone","family":"Tini","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"key":"26_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of CONCUR\u2019 94","author":"L. Aceto","year":"1994","unstructured":"Aceto, L.: Deriving complete inference systems for a class of GSOS languages generating regular behaviors. Proc. of CONCUR\u2019 94, Springer LNCS 836, 1994."},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Aceto, L., Bloom, B. and Vaandrager, F.: Turning SOS rules into equations. Information and Computation 111, 1994.","DOI":"10.1006\/inco.1994.1040"},{"key":"26_CR3","volume-title":"CESA\u2019 96","author":"C. Andr\u00e9","year":"1996","unstructured":"Andr\u00e9, C.: Representation and analysis of reactive behaviors: a synchronous approach. Presented at CESA\u2019 96, IEEE-SMC, Lille, France, 1996."},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Benveniste, A. and Berry, G. (editors): Another look at real-time systems. Proceedings of the IEEE 79, 1991.","DOI":"10.1109\/5.97297"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Bergstra, J.A. and Klop, J.W.: A complete inference system for regular processes with silent moves. Proc. of Logic Colloquium 1986, North Holland, 1988.","DOI":"10.1016\/S0049-237X(09)70651-2"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Bergstra, J.A. and Klop, J.W.: Process algebra for synchronous communication. Information and Computation 60, 1984.","DOI":"10.1016\/S0019-9958(84)80025-X"},{"key":"26_CR7","unstructured":"Berry, G.: The constructive semantics of pure Esterel. Version 3.0, 1999. URL: http:\/\/www.inria.fr\/meije\/personnel\/Gerard.Berry.html ."},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Berry, G. and Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming 19, 1992.","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"Caspi, P., Halbwachs, N., Pilaud, P. and Plaice, J.: Lustre, a declarative language for programming synchronous systems. Proc. of POPL\u2019 87, ACM Press, 1987.","DOI":"10.1145\/41625.41641"},{"key":"26_CR10","unstructured":"Gonthier, G: S\u00e9mantique et mod\u00e8les d\u2019ex\u00e9cution des langages r\u00e9actifs synchrones; application \u00e0 Esterel. Th\u00e8se d\u2019 informatique, Univesit\u00e9 d\u2019Orsay, France, 1988."},{"key":"26_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2231-4","volume-title":"Synchronous programming of reactive systems","author":"N. Halbwachs","year":"1993","unstructured":"Halbwachs, N.: Synchronous programming of reactive systems. Kluwer Academic Publishers, Dordrecht, 1993."},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 1987.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Harel, D. and Naamad, A.: The Statemate semantics of Statecharts. ACM Transactions on Software Engineering Methodologies 5, 1996.","DOI":"10.1145\/235321.235322"},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"Harel, D. and Pnueli, A.: On the development of reactive systems. In K.R. Apt editor, Logic and Models of Concurrent Systems, NATO, ASI-13, Springer, 1985.","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"26_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031997","volume-title":"Proc. of REX Workshop \u201cReal Time: Theory in Practice\u201d","author":"C. Huizing","year":"1992","unstructured":"Huizing, C. and Gerth, R.: Semantics of reactive systems in abstract time. Proc. of REX Workshop \u201cReal Time: Theory in Practice\u201d, Springer LNCS 600, 1992."},{"key":"26_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0084815","volume-title":"Proc. of CONCUR\u2019 92","author":"F. Maraninchi","year":"1992","unstructured":"Maraninchi, F.: Operational and compositional semantics of synchronous automaton composition. Proc. of CONCUR\u2019 92, Springer LNCS 630, 1992."},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"Milner, R.: A complete inference system for a class of regular behaviors. Journal of Computer and System Sciences 28, 1984.","DOI":"10.1016\/0022-0000(84)90023-0"},{"key":"26_CR18","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of ICALP\u2019 90","author":"F. Moller","year":"1990","unstructured":"Moller, F.: The importance of the left merge operator in process algebras. Proc. of ICALP\u2019 90, Springer LNCS 443, 1990."},{"key":"26_CR19","series-title":"Technical Report","volume-title":"A structural approach to operational semantics","author":"G. Plotkin","year":"1981","unstructured":"Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI FN-19, University of Aarhus, Denmark, 1981."},{"key":"26_CR20","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of TACS\u2019 91","author":"A. Pnueli","year":"1991","unstructured":"Pnueli, A. and Shalev, M.: What is a step: On the semantics for Statecharts. Proc. of TACS\u2019 91, Springer LNCS 526, 1991."},{"key":"26_CR21","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., Jagadeesan, R. and Gupta, V.: Default timed concurrent constraint programming. Proc. of POPL\u2019 95, ACM Press, 1995.","DOI":"10.1145\/199448.199513"},{"key":"26_CR22","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., Jagadeesan, R. and Gupta, V.: Timed default concurrent constraint programming. Journal of Symbolic Computation 11, 1996.","DOI":"10.1006\/jsco.1996.0064"},{"key":"26_CR23","unstructured":"Scholtz, P., Nazareth, D. and Regensburger, F.: Mini-Statecharts: A compositional way to model parallel systems. In 9th Int. Conf. on Parallel and Distributed Computing Systems, Dijon, France, 1997."},{"key":"26_CR24","doi-asserted-by":"crossref","unstructured":"de Simone, R.: Higher level synchronizing devices in SCCS-Meije. Theoretical Computer Science 37, 1985.","DOI":"10.1016\/0304-3975(85)90093-3"},{"key":"26_CR25","doi-asserted-by":"crossref","unstructured":"Tini, S.: On the expressiveness of Timed Concurrent Constraint Programming. Proc. of Express\u2019 99, Electronic Notes in Theoretical Computer Science 27, 1999.","DOI":"10.1016\/S1571-0661(05)80291-9"},{"key":"26_CR26","volume-title":"Structural Operational Semantics for Synchronous Languages","author":"S. Tini","year":"2000","unstructured":"Tini, S.: Structural Operational Semantics for Synchronous Languages. Ph.D. Thesis, Dipartimento di Informatica, University of Pisa, Italy, 2000."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45315-6_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,5]],"date-time":"2019-05-05T13:10:06Z","timestamp":1557061806000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45315-6_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418641","9783540453154"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-45315-6_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}