The Esterel synchronous programming language: Design, semantics, implementation
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- 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
- An observational theory for mobile ad hoc networks (full version)
- Synchronous programming with events and relations: The SIGNAL language and its semantics
- A denotational theory of synchronous reactive systems
- A compositional -calculus proof system for statecharts processes
- TTL: A modular language for hardware/software systems design.
- An axiomatic semantics for the synchronous language Gentzen.
- Refinement of time
- The Verus language: Representing time efficiently with BDDs
- Event algebra for transition systems composition application to timed automata
- A methodology to take credit for high-level verification during RTL verification
- A semantic theory of the Internet of Things
- Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
- Decidability of infinite-state timed CCP processes and first-order LTL
- Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation
- On disjunction of literals in triggers of statecharts transitions.
- A comparison of Statecharts step semantics
- A timed concurrent constraint language.
- Semantics of temporal classes
- Specification and analysis of synchronous reactions
- Interpreting message flow graphs
- Continuous consensus via common knowledge
- Implementation of communicating reactive processes
- Linear time-dependent constraints programming with MSVL
- Algebraic quantitative semantics for efficient online temporal monitoring
- A synchronous effects logic for temporal verification of pure Esterel
- Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms
- Asynchronous stream processing with S-Net
- Models and emerging trends of concurrent constraint programming
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
- On concurrent behaviors and focusing in linear logic
- A synchronous -calculus
- On subexponentials, focusing and modalities in concurrent systems
- Synchronous structures
- Resource control for synchronous cooperative threads
- Concurrency in synchronous systems
- Specifying and verifying reactive systems in a multi-language environment
- Timed term rewrite systems
- A deterministic logical semantics for Esterel
- Deciding synchronous Kleene algebra with derivatives
- Zélus: a synchronous language with ODEs
- Certifying synchrony for free
- Modeling for Verification
- Transfer of model checking to industrial practice
- Esterel
- Unifying operational semantics with algebraic semantics for instantaneous reactions
- Logical behaviors
- Branching vs. Linear Time: Semantical Perspective
- On Recursion, Replication and Scope Mechanisms in Process Calculi
- What is in a step: new perspectives on a classical question
- Modelling of Complex Software Systems: A Reasoned Overview
- scientific article; zbMATH DE number 3967898 (Why is no real title available?)
- scientific article; zbMATH DE number 4082959 (Why is no real title available?)
- scientific article; zbMATH DE number 1188121 (Why is no real title available?)
- scientific article; zbMATH DE number 1361139 (Why is no real title available?)
- scientific article; zbMATH DE number 526071 (Why is no real title available?)
- Argos: an automaton-based synchronous language
- scientific article; zbMATH DE number 2080750 (Why is no real title available?)
- scientific article; zbMATH DE number 1487628 (Why is no real title available?)
- scientific article; zbMATH DE number 1760147 (Why is no real title available?)
- Control laws, tasks and procedures with ORCCAD: application to the control of an underwater arm
- Abstract interpretation of temporal concurrent constraint programs
- Timed soft concurrent constraint programs: an interleaved and a parallel approach
- A novel WCET semantics of synchronous programs
- scientific article; zbMATH DE number 1569131 (Why is no real title available?)
- scientific article; zbMATH DE number 2090842 (Why is no real title available?)
- Sémantique du parallélisme et du choix du langage Electre
- Turing machines, transition systems, and interaction
- scientific article; zbMATH DE number 1435985 (Why is no real title available?)
- scientific article; zbMATH DE number 7440190 (Why is no real title available?)
- Semantic Foundations for Deterministic Dataflow and Stream Processing
- On implementable timed automata
- What is in a step: on the semantics of statecharts
- A Unary Semigroup Trace Algebra
- Causality in the semantics of Esterel (revisited)
- On convergence-sensitive bisimulation and the embedding of CCS in timed CCS
- Languages for reactive specifications: synchrony vs. asynchrony
- An Observational Theory for Mobile Ad Hoc Networks
- Reactive concurrent programming revisited
- Hybrid Systems: Computation and Control
- \(N\)-synchronous Kahn networks: a relaxed model of synchrony for real-time systems
- Grounding synchronous deterministic concurrency in sequential programming
- TCC, with history
- Automated Technology for Verification and Analysis
- Formal Methods in Computer-Aided Design
- Computer Aided Verification
- Automatic verification of parameterized networks of processes
- An axiomatic semantics for Esterel
- Bisimulation on speed: Worst-case efficiency
- An algebraic theory of multiple clocks
- Models for concurrent constraint programming
- Equivalences of Statecharts
- Constructive semantics for instantaneous reactions
- 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
- Compilation of the ELECTRE reactive language into finite transition systems
- Online monitoring of metric temporal logic using sequential networks
This page was built for publication: The Esterel synchronous programming language: Design, semantics, implementation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1196296)
