{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:40:56Z","timestamp":1725608456884},"publisher-location":"Vienna","reference-count":11,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211832820"},{"type":"electronic","value":"9783709163559"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-7091-6355-9_9","type":"book-chapter","created":{"date-parts":[[2011,9,15]],"date-time":"2011-09-15T07:42:02Z","timestamp":1316072522000},"page":"123-135","source":"Crossref","is-referenced-by-count":1,"title":["Synchronie Workbench"],"prefix":"10.1007","author":[{"given":"L.","family":"Holenderski","sequence":"first","affiliation":[]},{"given":"A.","family":"Poign\u00e9","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","first-page":"87","volume-title":"Control Engineering","author":"A Benveniste","year":"1994","unstructured":"Benveniste A. (1994): Synchronous languages provide safety in reactive systems design. In: Control Engineering, Sep. 1994, pp. 87\u201389"},{"key":"9_CR2","first-page":"87","volume-title":"Science of Computer Programming","author":"G Berry","year":"1992","unstructured":"Berry G., Gonthier G. (1992): The synchronous programming language Esterel: design, semantics, implementation. In: Science of Computer Programming, Vol. 19, pp. 87\u2013152"},{"key":"9_CR3","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. (1993): Synchronous Programming of Reactive Systems, Kluwer Academic Publishers, Dordrecht"},{"key":"9_CR4","first-page":"1305","volume-title":"Proceedings of the IEEE","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs N., Caspi P., Raymond P., Pilaud D. (1991): The synchronous data flow programming language Lustre. In: Proceedings of the IEEE, Vol. 79(9), pp. 1305\u20131321"},{"key":"9_CR5","volume-title":"Proceedings of AMAST \u201883, Twente","author":"N Halbwachs","year":"1993","unstructured":"Halbwachs N., Lagnier F., Raymond P. (1993): Synchronous observers and the verification of reactive systems. In: Proceedings of AMAST \u201883, Twente, The Netherlands, Springer-Verlag (Workshops in Computing)"},{"key":"9_CR6","unstructured":"Holenderski L. (1997): Translating LEA to synchronous components. Report 1090, GMD (Forschungszentrum Informationstechnik GmbH), pp. 1\u201355"},{"key":"9_CR7","volume-title":"FTH \u201888 (Workshop on Formal Techniques for Hardware and Hardware-like Systems)","author":"L Holenderski","year":"1998","unstructured":"Holenderski L., Poign\u00e9 A. (1998): The multi-paradigm synchronous programming language LEA. In: FTH \u201888 (Workshop on Formal Techniques for Hardware and Hardware-like Systems), Marstrand, Sweden"},{"key":"9_CR8","first-page":"550","volume-title":"Proc. CONCUR \u201882, LNCS 630","author":"F Maraninchi","year":"1992","unstructured":"Maraninchi F. (1992): Operational and compositional semantics of synchronous automaton compositions. In: Proc. CONCUR \u201882, LNCS 630, Springer-Verlag, pp. 550\u2013564"},{"key":"9_CR9","unstructured":"Poign\u00e9 A., Holenderski L. (1995): Boolean automata for implementing pure Esterel. Report 964, GMD (Forschungszentrum Informationstechnik GmbH), pp. 1\u201347"},{"key":"9_CR10","unstructured":"SYRF ( 1997 ): Synchronous Reactive Formalisms, Esprit \u201cLong Term Research\u201c Project 22703,\n                  http:\/\/www-verimag.i.mag.fr\/SYNCHRONE\/SYRF\/syrf.html"},{"key":"9_CR11","unstructured":"SWB (1997): Synchronie Workbench, version 0.8, \n                  http:\/\/set.gmd.de\n                  \n                \/EES"}],"container-title":["Tool Support for System Specification, Development and Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6355-9_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T09:36:07Z","timestamp":1606124167000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6355-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783211832820","9783709163559"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6355-9_9","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}