{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:45:20Z","timestamp":1742395520619},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540555643"},{"type":"electronic","value":"9783540472186"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0031997","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:36:29Z","timestamp":1134282989000},"page":"291-314","source":"Crossref","is-referenced-by-count":13,"title":["Semantics of reactive systems in abstract time"],"prefix":"10.1007","author":[{"given":"C.","family":"Huizing","sequence":"first","affiliation":[]},{"given":"R.","family":"Gerth","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"B. Berry and L. Cosserat. The synchronous programming language Esterel and its mathematical semantics. In Proceedings CMU Seminar on Concurrency, pages 389\u2013449. LNCS 197, Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15670-4_19"},{"key":"13_CR2","unstructured":"J.-L. Bergerand, P. Caspi, and N. Halbwachs. Outline of a real-time data flow language. In Proceedings IEEE Real-Time Systems Symposium, 1985."},{"key":"13_CR3","unstructured":"J.-L. Bergerand, P. Caspi, and N. Halbwachs. Outline of a real-time dataflow language. In Proc. IEEE-CS Real-Time systems Symposium, San Diego, 1985."},{"key":"13_CR4","unstructured":"G. Berry and G. Gonthier. The ESTEREL synchronous programming language: Design, semantics, implementation. Technical report, Ecole Nationale Sup\u00e9rieure des Mines de Paris, 1988."},{"key":"13_CR5","unstructured":"G. Gonthier. S\u00e9mantiques et mod\u00e8les d'ex\u00e9cution des langages r\u00e9actifs synchrones; Application \u00e0 ESTEREL. PhD thesis, University of Orsay, 1988."},{"issue":"3","key":"13_CR6","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"13_CR7","unstructured":"C. Huizing and R. Gerth. On the semantics of reactive systems. Deliverable in ESPRIT 3096 \u201cSPEC\u201d, Eindhoven University of Technology, 1989."},{"key":"13_CR8","first-page":"271","volume":"299","author":"C. Huizing","year":"1988","unstructured":"C. Huizing, R. Gerth, and W.P. de Roever. Modelling statecharts behaviour in a fully abstract way. In Proc. 13th CAAP, LNCS 299, pages 271\u2013294, 1988.","journal-title":"LNCS"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"D. Harel and A. Pnueli. On the development of reactive systems. In K.R. Apt, editor, Logics and Models of Concurrent Systems, pages 477\u2013498. NATO, ASI-13, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"13_CR10","volume-title":"Strategies for real-time system specification","author":"D. J. Hatley","year":"1987","unstructured":"Derek J. Hatley and Imtiaz A. Pirbhai. Strategies for real-time system specification. Dorset House, New York, 1987."},{"key":"13_CR11","unstructured":"D. Harel, A. Pnueli, J. Pruzan-Schmidt, and R. Sherman. On the formal semantics of Statecharts. In Proceedings Symposium on Logic in Computer Science, pages 54\u201364, 1987."},{"key":"13_CR12","unstructured":"D. Harel, A. Pnueli, J. Pruzan-Schmidt, and R. Sherman. On the formal semantics of Statecharts. In Proceedings Symposium on Logic in Computer Science, pages 54\u201364, 1987."},{"key":"13_CR13","volume-title":"Computing Science Note CSN 88\/14","author":"J. Hooman","year":"1988","unstructured":"J. Hooman and S. Ramesh. Statecharts assertional framework. Computing Science Note CSN 88\/14, Department of Mathematics and Computing Science Eindhoven University of Technology, The Netherlands, May 1988."},{"key":"13_CR14","unstructured":"[i-Logix Inc89] i-Logix Inc, Burlington, Mass. The Semantics of Statecharts, 1989. In Documentation for the Statemate System."},{"key":"13_CR15","volume-title":"Technical Report IRISA Report 246","author":"P. Guernic Le","year":"1985","unstructured":"Guernic P. Le, A. Benveniste, P. Bournai, and T. Gonthier. Signal: A data flow oriented language for signal processing. Technical Report IRISA Report 246, IRISA, Rennes, France, 1985."},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"F. Maraninchi. Argonaute: Graphical description, semantics and verification of reactive systems by using a process algebra. In Workshop on Automatic Verification methods for Finite State Systems, Grenoble 12\u201314 June 1989. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-52148-8_4"},{"key":"13_CR17","volume-title":"PhD thesis","author":"F. Maraninchi","year":"1990","unstructured":"F. Maraninchi. Statecharts: s\u00e9mantique et application \u00e0 la sp\u00e9cification de syst\u00e8mes. PhD thesis, INP Grenoble, 1990."},{"key":"13_CR18","unstructured":"G.D. Plotkin. A structural approach to operational semantics. Technical report, 1981. Lecture Notes."},{"key":"13_CR19","volume-title":"Technical report","author":"A. Pnueli","year":"1988","unstructured":"A. Pnueli and M. Shalev. What is in a step. Technical report, Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot, Israel, 1988. Draft."}],"container-title":["Lecture Notes in Computer Science","Real-Time: Theory in Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031997","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T13:48:04Z","timestamp":1586612884000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031997"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540555643","9783540472186"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0031997","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}