@InProceedings{edwards_et_al:DagSemProc.04491.1, author = {Edwards, Stephen A. and Halbwachs, Nicholas and von Hanxleden, Reinhard and Stauner, Thomas}, title = {{04491 Abstracts Collection – Synchronous Programming - SYNCHRON'04}}, booktitle = {Synchronous Programming - SYNCHRON'04}, pages = {1--14}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4491}, editor = {Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.1}, URN = {urn:nbn:de:0030-drops-1961}, doi = {10.4230/DagSemProc.04491.1}, annote = {Keywords: Synchronous languages , executive summary , Esterel , Lustre , Signal , semantics , programming languages , real-time systems} }