Esterel

swMATH20012MaRDI QIDQ31835FDOQ31835

Author name not available (Why is that?)

Described by source

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

Cited In (only showing first 100 items - show all)

• Turing Machines, Transition Systems, and Interaction
• Timed-pNets: a communication behavioural semantic model for distributed systems
• Modelling of Complex Software Systems: A Reasoned Overview
• $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
• What good are digital clocks?
• CPO semantics of timed interactive actor networks
• Turing machines, transition systems, and interaction
• A denotational theory of synchronous reactive systems
• Operational semantics of a kernel of the language ELECTRE
• From regular expressions to DFA's using compressed NFA's
• Dynamic and formal verification of embedded systems: A comparative survey
• Concurrency and atomicity
• An axiomatic semantics for Esterel
• Refinement of time
• Foundations of Boolean stream runtime verification
• Formal modelling and verification of GALS systems using GRL and CADP
• Transition system specifications with negative premises
• Title not available (Why is that?)
• Dispatch sequences for embedded control models
• Coordination models Orc and Reo compared
• SAT-based verification for timed component connectors
• The SL synchronous language, revisited
• Decidability of infinite-state timed CCP processes and first-order LTL
• Typing noninterference for reactive programs
• Asynchronous stream processing with S-Net
• A timed concurrent constraint language.
• Dealing with zero-time transitions in axiom systems.
• Semantics of temporal classes
• Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
• A dynamic deontic logic for complex contracts
• Bisimulation on speed: Worst-case efficiency
• 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
• Title not available (Why is that?)
• Synchronous Kleene algebra
• Constructive Boolean circuits and the exactness of timed ternary simulation
• An observational theory for mobile ad hoc networks (full version)
• From NuSMV to SPIN: Experiences with model checking flight guidance systems
• A metamodel for the design of polychronous systems
• Non-standard semantics of hybrid systems modelers
• Reactive Concurrent Programming Revisited
• A new notation for arrows
• Introduction to design choices in the semantics of Statecharts
• From ATP to timed graphs and hybrid systems
• Constructive semantics for instantaneous reactions
• Continuous consensus via common knowledge
• A Declarative View of Signaling Pathways
• Compositionality in dataflow synchronous languages: Specification and distributed code generation
• An operational semantics for a calculus for wireless systems
• Reconciling statechart semantics
• Models and emerging trends of concurrent constraint programming
• Typing termination in a higher-order concurrent imperative language
• Investigating the usability of real-time scheduling theory with the Cheddar project
• Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
• From regular expressions to deterministic automata
• A comparison of Statecharts step semantics
• From synchronous programs to symbolic representations of hybrid systems
• A framework for modeling the distributed deployment of synchronous designs
• A timed calculus for wireless systems
• A formal library of set relations and its application to synchronous languages
• 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
• Automatic verification of parameterized networks of processes
• On Implementable Timed Automata
• Abstract interpretation of temporal concurrent constraint programs
• Compatibility in a multi-component environment
• An axiomatic semantics for the synchronous language Gentzen.
• An Observational Theory for Mobile Ad Hoc Networks
• Concurrency in synchronous systems
• Bounded model checking of infinite state systems
• On disjunction of literals in triggers of statecharts transitions.
• Algorithmic-level specification and characterization of embedded multimedia applications with Design Trotter
• Primitives for authentication in process algebras.
• Synchronous structures
• TTL: A modular language for hardware/software systems design.
• Causal computational complexity of distributed processes
• A Unary Semigroup Trace Algebra
• Logical behaviors
• Distributed implementation of a process-algebra based programming language for embedded systems
• Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions
• On subexponentials, focusing and modalities in concurrent systems
• Fine-Grained and Coarse-Grained Reactive Noninterference
• Interpreting message flow graphs
• Specifying and verifying reactive systems in a multi-language environment
• Light-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with Java
• TCC, with History
• Sound reasoning in \textit{tock}-CSP
• A synchronous effects logic for temporal verification of pure Esterel
• Compositional semantics for real-time distributed computing
• Linear time-dependent constraints programming with MSVL
• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
• An algebra of synchronous atomic steps
• Automated planning as an early verification tool for distributed control
• On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS
• Programming by Composing Filters
• Modeling for Verification
• On concurrent behaviors and focusing in linear logic
• Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms
• Predictable real-time software synthesis

This page was built for software: Esterel