The Esterel synchronous programming language: Design, semantics, implementation
From MaRDI portal
Publication:1196296
DOI10.1016/0167-6423(92)90005-VzbMath0772.68013WikidataQ56484913 ScholiaQ56484913MaRDI QIDQ1196296
Georges Gonthier, Gérard Berry
Publication date: 16 December 1992
Published in: Science of Computer Programming (Search for Journal in Brave)
communication protocolsconditional rewrite rulesdeterministic concurrent programming languageESTERELman- machine interface driversreal-time process controllers
Related Items
On concurrent behaviors and focusing in linear logic, Semantic Foundations for Deterministic Dataflow and Stream Processing, On Implementable Timed Automata, Modeling for Verification, Transfer of Model Checking to Industrial Practice, Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions, Control laws, tasks and procedures with ORCCAD: application to the control of an underwater arm, A synchronous \(\pi\)-calculus, Interpreting message flow graphs, Dispatch sequences for embedded control models, Event algebra for transition systems composition application to timed automata, The SL synchronous language, revisited, Logical behaviors, Bisimulation on speed: Worst-case efficiency, On subexponentials, focusing and modalities in concurrent systems, Slicing concurrent constraint programs, From NuSMV to SPIN: Experiences with model checking flight guidance systems, What is in a step: On the semantics of statecharts, Deciding Synchronous Kleene Algebra with Derivatives, A Unary Semigroup Trace Algebra, An algebraic theory of multiple clocks, Abstract interpretation of temporal concurrent constraint programs, Timed soft concurrent constraint programs: An interleaved and a parallel approach, Models for concurrent constraint programming, TTL: A modular language for hardware/software systems design., An axiomatic semantics for the synchronous language Gentzen., Branching vs. Linear Time: Semantical Perspective, A methodology to take credit for high-level verification during RTL verification, Equivalences of Statecharts, A semantic theory of the Internet of things, On Recursion, Replication and Scope Mechanisms in Process Calculi, Unnamed Item, Continuous consensus via common knowledge, Efficient verification of distributed real-time systems with broadcasting behaviors, Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change, A synchronous effects logic for temporal verification of pure Esterel, A denotational theory of synchronous reactive systems, Compiling and verifying SC-SystemJ programs for safety-critical reactive systems, Transition system specifications with negative premises, CPO semantics of timed interactive actor networks, Turing Machines, Transition Systems, and Interaction, An operational semantics for a calculus for wireless systems, TCC, with History, On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS, Decidability of infinite-state timed CCP processes and first-order LTL, Turing machines, transition systems, and interaction, What Is in a Step: New Perspectives on a Classical Question, Automatic verification of parameterized networks of processes, Linear time-dependent constraints programming with MSVL, Typing termination in a higher-order concurrent imperative language, Synchronous Kleene algebra, Asynchronous stream processing with S-Net, Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation, Synchronous structures, Resource control for synchronous cooperative threads, Concurrency in synchronous systems, An axiomatic semantics for Esterel, Typing noninterference for reactive programs, Modelling of Complex Software Systems: A Reasoned Overview, Reconciling statechart semantics, Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications, Fully abstract models and refinements as tools to compare agents in timed coordination languages, Reactive mode handling of flexible manufacturing systems, Algebraic quantitative semantics for efficient online temporal monitoring, An observational theory for mobile ad hoc networks (full version), Introduction to design choices in the semantics of Statecharts, Esterel, A compositional \(\mu\)-calculus proof system for statecharts processes, Specifying and verifying reactive systems in a multi-language environment, Timed Term Rewrite Systems, Refinement of time, The Verus language: Representing time efficiently with BDDs, On disjunction of literals in triggers of statecharts transitions., A comparison of Statecharts step semantics, A timed concurrent constraint language., Semantics of temporal classes, An Observational Theory for Mobile Ad Hoc Networks, Reactive Concurrent Programming Revisited, Models and emerging trends of concurrent constraint programming, Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
Uses Software
