The Esterel synchronous programming language: Design, semantics, implementation
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Fully abstract models and refinements as tools to compare agents in timed coordination languages
- Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
- Reactive mode handling of flexible manufacturing systems
- scientific article; zbMATH DE number 4082959 (Why is no real title available?)
- What is in a step: on the semantics of statecharts
- Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
- TTL: A modular language for hardware/software systems design.
- Constructive semantics for instantaneous reactions
- The Verus language: Representing time efficiently with BDDs
- An axiomatic semantics for the synchronous language Gentzen.
- Modelling of Complex Software Systems: A Reasoned Overview
- Typing noninterference for reactive programs
- Automatic verification of parameterized networks of processes
- Reactive concurrent programming revisited
- On Recursion, Replication and Scope Mechanisms in Process Calculi
- A methodology to take credit for high-level verification during RTL verification
- Transition system specifications with negative premises
- An observational theory for mobile ad hoc networks (full version)
- An Observational Theory for Mobile Ad Hoc Networks
- A semantic theory of the Internet of Things
- Introduction to design choices in the semantics of Statecharts
- On implementable timed automata
- scientific article; zbMATH DE number 3967898 (Why is no real title available?)
- Concurrency in synchronous systems
- Turing machines, transition systems, and interaction
- From NuSMV to SPIN: Experiences with model checking flight guidance systems
- Asynchronous stream processing with S-Net
- Continuous consensus via common knowledge
- Event algebra for transition systems composition application to timed automata
- A timed concurrent constraint language.
- Zélus: a synchronous language with ODEs
- Typing termination in a higher-order concurrent imperative language
- scientific article; zbMATH DE number 7440190 (Why is no real title available?)
- An operational semantics for a calculus for wireless systems
- Algebraic quantitative semantics for efficient online temporal monitoring
- An axiomatic semantics for Esterel
- Dispatch sequences for embedded control models
- The SL synchronous language, revisited
- Esterel
- Argos: an automaton-based synchronous language
- Semantics of temporal classes
- Reconciling statechart semantics
- Refinement of time
- Automated Technology for Verification and Analysis
- Equivalences of Statecharts
- Synchronous programming with events and relations: The SIGNAL language and its semantics
- Turing machines, transition systems, and interaction
- Models and emerging trends of concurrent constraint programming
- Models for concurrent constraint programming
- Logical behaviors
- scientific article; zbMATH DE number 526071 (Why is no real title available?)
- Decidability of infinite-state timed CCP processes and first-order LTL
- An algebraic theory of multiple clocks
- Synchronous Kleene algebra
- A comparison of Statecharts step semantics
- Synchronous structures
- Efficient verification of distributed real-time systems with broadcasting behaviors
- CPO semantics of timed interactive actor networks
- Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
- A denotational theory of synchronous reactive systems
- A synchronous \(\pi\)-calculus
- Abstract interpretation of temporal concurrent constraint programs
- Interpreting message flow graphs
- Bisimulation on speed: Worst-case efficiency
- Semantic Foundations for Deterministic Dataflow and Stream Processing
- \(N\)-synchronous Kahn networks: a relaxed model of synchrony for real-time systems
- A compositional \(\mu\)-calculus proof system for statecharts processes
- A synchronous effects logic for temporal verification of pure Esterel
- Specifying and verifying reactive systems in a multi-language environment
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
- scientific article; zbMATH DE number 1760147 (Why is no real title available?)
- Resource control for synchronous cooperative threads
- Timed soft concurrent constraint programs: an interleaved and a parallel approach
- On convergence-sensitive bisimulation and the embedding of CCS in timed CCS
- Grounding synchronous deterministic concurrency in sequential programming
- scientific article; zbMATH DE number 1188121 (Why is no real title available?)
- On subexponentials, focusing and modalities in concurrent systems
- Causality in the semantics of Esterel (revisited)
- scientific article; zbMATH DE number 2080750 (Why is no real title available?)
- Transfer of model checking to industrial practice
- Unifying operational semantics with algebraic semantics for instantaneous reactions
- Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms
- What is in a step: new perspectives on a classical question
- scientific article; zbMATH DE number 2090842 (Why is no real title available?)
- On disjunction of literals in triggers of statecharts transitions.
- A deterministic logical semantics for Esterel
- scientific article; zbMATH DE number 1569131 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- A novel WCET semantics of synchronous programs
- A Unary Semigroup Trace Algebra
- Control laws, tasks and procedures with ORCCAD: application to the control of an underwater arm
- Certifying synchrony for free
- Computer Aided Verification
- Branching vs. Linear Time: Semantical Perspective
- On concurrent behaviors and focusing in linear logic
- Formal Methods in Computer-Aided Design
- Linear time-dependent constraints programming with MSVL
- Implementation of communicating reactive processes
- Sémantique du parallélisme et du choix du langage Electre
- Languages for reactive specifications: synchrony vs. asynchrony
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)
