Everything about Synchronous programming language

🧭 Start here: a 6-step reading path

1. Read the overview: Synchronous programming languageA 5-minute orientation
2. Skim a recent paper: Spacetime programming: a synchronous language for constraint searchInfluential work since 2022
3. Pick up a classic book: Linguistische Aspekte der Synchronisation von FernsehserienThe most-reprinted book on the subject
4. Read the landmark paper: The synchronous data flow programming language LUSTRECited 1,244 times
5. Go sideways: SIGNAL (programming language)A closely related topic
6. Go sideways: EsterelA closely related topic

🏆 Landmark papers (most cited)

• The synchronous data flow programming language LUSTRE

  N. Halbwachs, P. Caspi, P. Raymond · 1991 · Proceedings of the IEEE · 1,244 citations

• The Esterel synchronous programming language: design, semantics, implementation

  Gérard Berry, Georges Gonthier · 1992 · Science of Computer Programming · 1,110 citations

• Synchronous programming with events and relations: the SIGNAL language and its semantics

  Albert Benveniste, Paul Le Guernic, Christian Jacquemot · 1991 · Science of Computer Programming · 226 citations

• Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE

  N. Halbwachs, F. Lagnier, C. Ratel · 1992 · IEEE Transactions on Software Engineering · 178 citations

• Computational model for distributed multimedia applications based on a synchronous programming language

  Jean-Bernard Stefani, Laurent Hazard, François Hørn · 1992 · Computer Communications · 30 citations

• The ClassiC programming language and design of synchronous concurrent object oriented languages

  R.M Newman · 1998 · Journal of Systems Architecture · 5 citations

• Synchronous Data Flow Programming with the Language SIGNAL

  P. Le Guernic, A. Benveniste, P. Bournai · 1987 · IFAC Proceedings Volumes · 2 citations

• A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu

  Guilherme F. Lima, Rodrigo C.M. Santos, Roberto Ierusalimschy · 2019 · Journal of Systems Architecture · 2 citations

🆕 Influential since 2022

• Spacetime programming: a synchronous language for constraint search

  Pierre Talbot · 2023 · Constraints · 1 citations

• Toward a Formally Verified Compiler for a Synchronous, Functional, Data-Flow Programming Language

  Alain Girault · 2025 · Communications of the ACM · 0 citations

📚 Books worth reading

• Linguistische Aspekte der Synchronisation von FernsehserienThomas Herbst · 1994
• Programming concurrency on the JVMVenkat Subramaniam · 2011
• Concurrency and synchronization in the INTEL iAPX-432 prototype systems implementation languageBruce J. MacLennan · 1983
• 📕11th IEEE Workshop on Real-Time Operating Systems and Software: Rtoss '94 : ProceedingsInstitute of Electrical and Electronics Engineers · 1994

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• SIGNAL (programming language) SIGNAL is a programming language based on synchronized dataflow (flows + synchronization): a process is a set of equations on elementary flows describing…
• Esterel Esterel is a synchronous programming language for the development of complex reactive systems. The imperative programming style of Esterel allows the simple…
• Globally asynchronous locally synchronous Globally asynchronous locally synchronous (GALS), in electronics, is an architecture for designing electronic circuits that addresses the problem of safe…
• Lustre (programming language) Lustre is a formally defined, declarative, and synchronous dataflow programming language for programming reactive systems. It began as a research project…
• Join-pattern Join-patterns provides a way to write concurrent, parallel and distributed computer programs by message passing. Compared to the use of threads and locks…
• Communicating sequential processes In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is…
• Asynchronous circuit Asynchronous circuit (clockless or self-timed circuit) is a sequential digital logic circuit that does not use a global clock circuit or signal generator…
• Reo Coordination Language Reo is a domain-specific language for programming and analyzing coordination protocols that compose individual processes into full systems, broadly construed…