Esterel
From MaRDI portal
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)
- A metamodel for the design of polychronous systems
- Investigating the usability of real-time scheduling theory with the Cheddar project
- Compositional semantics for real-time distributed computing
- Concurrency and atomicity
- Control machines: A new model of parallelism for compositional specifications and their effective compilation
- A denotational theory of synchronous reactive systems
- Operational semantics of a kernel of the language ELECTRE
- A compositional axiomatization of statecharts
- CLAN
- From ATP to timed graphs and hybrid systems
- JDD
- SCADE
- TTL
- From regular expressions to DFA's using compressed NFA's
- Lutess
- TTL: A modular language for hardware/software systems design.
- An axiomatic semantics for the synchronous language Gentzen.
- TAXYS
- FoCs
- MuTACLP
- SynDEx
- SugarCubes
- Ada95
- StreamIt
- ArchJava
- ISDL
- ASTRAL
- SIGNAL
- POOSL
- LOTOS
- MOTOR
- E-LOTOS
- Refinement of time
- The Verus language: Representing time efficiently with BDDs
- Primitives for authentication in process algebras.
- Timed-pNets: a communication behavioural semantic model for distributed systems
- Simulink
- StateFlow
- Event algebra for transition systems composition application to timed automata
- Cheddar
- 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
- A game semantics for generic polymorphism
- Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation
- Reo
- On disjunction of literals in triggers of statecharts transitions.
- A comparison of Statecharts step semantics
- Dealing with zero-time transitions in axiom systems.
- A timed concurrent constraint language.
- Semantics of temporal classes
- Compositionality in dataflow synchronous languages: Specification and distributed code generation
- Interpreting message flow graphs
- Fiacre
- B4Free
- LMNtal
- Ptolemy
- visualSTATE
- Continuous consensus via common knowledge
- SystemC
- Linear time-dependent constraints programming with MSVL
- KAT-ML
- CESAR
- Pict
- LUSTRE
- Giotto
- ULM
- Causal computational complexity of distributed processes
- SysML
- Sound reasoning in \textit{tock}-CSP
- Linda
- Janus
- MIO Workbench
- Quartz
- Pinapa
- Fudgets
- RAVEN
- GUItar
- PDCoq
- A synchronous effects logic for temporal verification of pure Esterel
- Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms
- The fixed-point theory of strictly causal functions
- Asynchronous stream processing with S-Net
- An algebra of synchronous atomic steps
- TK
- Light-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with Java
- PIPER
- Deciding Kleene algebra terms equivalence in Coq
- Models and emerging trends of concurrent constraint programming
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
- Automated planning as an early verification tool for distributed control
- On concurrent behaviors and focusing in linear logic
- Bounded model checking of infinite state systems
- SJL
This page was built for software: Esterel
