https://e-sygoing.link Latest links in the Synchronous category en-us Sun, 24 May 2026 16:09:20 -0400 https://e-sygoing.link/link/5645504-averest A set of tools for the specification, verification, and implementation of reactive systems. It includes a compiler for synchronous programs, a symbolic model checker, and a tool for hardware/software synthesis. Downloadable in binary form for Linux (i586). Wed, 18 Feb 2026 06:57:35 -0500 https://e-sygoing.link/go/5645504 https://e-sygoing.link/link/5645498-the-multi-paradigm-synchronous-programming-language-lea To program synchronous reactive systems, made by merging 3 existing synchronous languages (Lustre, Esterel, Argos) by uniform translation rules to a common intermediate format called Boolean automata. Paper, PDF format. Wed, 18 Feb 2026 03:13:16 -0500 https://e-sygoing.link/go/5645498 https://e-sygoing.link/link/5645501-synchronous-programming-of-reactive-systems Descriptions, reviews, purchase source. [Amazon.com] Tue, 23 Dec 2025 13:13:47 -0500 https://e-sygoing.link/go/5645501 https://e-sygoing.link/link/5645502-design-methods-for-reactive-systems-yourdon-statemate-and-th Descriptions, reviews, purchase source. [Amazon.com] Sun, 07 Dec 2025 15:55:25 -0500 https://e-sygoing.link/go/5645502 https://e-sygoing.link/link/5645507-synchronous-programming-of-reactive-systems Book by Nicolas Halbwachs (1992) which presents a synthesis of recent works on reactive system design, a term introduced to avoid ambiguities often involved with term realtime. Outline, table of contents, reviews. Tue, 17 Dec 2024 18:11:54 -0500 https://e-sygoing.link/go/5645507 https://e-sygoing.link/link/5645497-synchronous A "synchronous" team at the Verimag laboratory. Presentation, people. Research topics includes language design. Publications and tools. Sat, 21 Sep 2024 09:19:54 -0400 https://e-sygoing.link/go/5645497