{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,23]],"date-time":"2026-09-23T05:44:07Z","timestamp":1790142247328,"version":"4.0.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540664253","type":"print"},{"value":"9783540483205","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48320-9_34","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T13:52:42Z","timestamp":1195134762000},"page":"494-508","source":"Crossref","is-referenced-by-count":5,"title":["Synchronous Structures"],"prefix":"10.1007","author":[{"given":"David","family":"Nowak","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Pierre","family":"Talpin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paul","family":"Le Guernic","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,4,19]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"Samson Abramsky. Interaction Categories (Extended Abstract). In G. L. Burn, Simon J. Gay, and M. D. Ryan, editors, Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, pages 57\u201370. Springer-Verlag Workshops in Computer Science, 1993.","DOI":"10.1007\/978-1-4471-3503-6_5"},{"key":"34_CR2","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0167-6423(91)90001-E","volume":"16","author":"A. Benveniste","year":"1991","unstructured":"Albert Benveniste, Paul Le Guernic, and Christian Jacquemot. Synchronous programming with events and relations: the Signal language and its semantics. Science of Computer Programming, 16:103\u2013149, 1991.","journal-title":"Science of Computer Programming"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"Albert Benveniste, Paul Le Guernic, and Pascal Aubry. Compositionality in dataflow synchronous languages: specification & code generation. Research Report 3310, INRIA, 1997.","DOI":"10.1007\/3-540-49213-5_3"},{"key":"34_CR4","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"G\u00e9rard Berry and Georges Gonthier. The esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19:87\u2013152, 1992.","journal-title":"Science of Computer Programming"},{"key":"34_CR5","unstructured":"Gerolamo Cardano. Ars Magna. 1545."},{"issue":"1","key":"34_CR6","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(92)90326-B","volume":"94","author":"P. Caspi","year":"1992","unstructured":"P. Caspi. Clocks in dataflow languages. Theoretical Computer Science, 94(1):125\u2013140, March 1992.","journal-title":"Theoretical Computer Science"},{"key":"34_CR7","unstructured":"Bruno Barras et al. The Coq Proof Assistant Reference Manual-Version 6.2. INRIA, Rocquencourt, May 1998."},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"Simon J. Gay and Raja Nagarajan. Modelling Signal in Interaction Categories. In Geoffrey L. Burn, Simon J. Gay, and Mark D. Ryan, editors, Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods. Springer-Verlag Workshops in Computer Science, 1993.","DOI":"10.1007\/978-1-4471-3503-6_11"},{"issue":"9","key":"34_CR9","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proc. of the IEEE, 79(9):1305\u20131320, September 1991.","journal-title":"Proc. of the IEEE"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Nicolas Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Pub., 1993.","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"34_CR11","unstructured":"D. Nowak, J. P. Talpin, and T. Gautier. Un syst\u00e8me de modules avanc\u00e9 pour Signal. Technical Report 3176, Irisa \/ Inria-Rennes, 1997."},{"key":"34_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/BFb0055148","volume-title":"Proceedings of Theorem Proving in Higher Order Logics (TPHOLs\u201998)","author":"D. Nowak","year":"1998","unstructured":"David Nowak, Jean-Ren\u00e9 Beauvais, and Jean-Pierre Talpin. Coinductive Axiomatization of a Synchronous Language. In Proceedings of Theorem Proving in Higher Order Logics (TPHOLs\u201998), number 1479 in LNCS, pages 387\u2013399. Springer Verlag, September 1998."},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"Amir Pnueli, Natarajan Shankar, and Eli Singerman. Fair Synchronous Transition Systems and their Liveness Proofs. Technical Report SRI-CSL-98-02, The Weizmann Institute of Science and SRI International, 1998.","DOI":"10.1007\/BFb0055348"},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"J.-P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane, and H. Canon. Bdl, a language of distributed reactive objects. In Proceedings of the International Symposium on Object-Oriented Real-Time Distributed Computing. IEEE press, april 1998.","DOI":"10.1109\/ISORC.1998.666789"},{"key":"34_CR15","series-title":"Lect Notes Comput Sci","first-page":"325","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986, Part II; Proceedings of an Advanced Course","author":"G. Winskel","year":"1986","unstructured":"G. Winskel. Event structures. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986, Part II; Proceedings of an Advanced Course, Bad Honnef, September 1986, volume 255 of Lecture Notes in Computer Science, pages 325\u2013392. Springer-Verlag, 1987."}],"container-title":["Lecture Notes in Computer Science","CONCUR\u201999 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48320-9_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T13:06:55Z","timestamp":1556975215000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48320-9_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664253","9783540483205"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-48320-9_34","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}