Esterel
From MaRDI portal
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
- Coordination models Orc and Reo compared
- Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
- Constructive semantics for instantaneous reactions
- An axiomatic semantics for the synchronous language Gentzen.
- Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
- Modelling of Complex Software Systems: A Reasoned Overview
- Typing noninterference for reactive programs
- Automatic verification of parameterized networks of processes
- JDD
- SAT-based verification for timed component connectors
- Reactive concurrent programming revisited
- From regular expressions to DFA's using compressed NFA's
- Transition system specifications with negative premises
- A new notation for arrows
- An Observational Theory for Mobile Ad Hoc Networks
- Dynamic and formal verification of embedded systems: A comparative survey
- 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
- A timed concurrent constraint language.
- Dealing with zero-time transitions in axiom systems.
- From ATP to timed graphs and hybrid systems
- A dynamic deontic logic for complex contracts
- Typing termination in a higher-order concurrent imperative language
- Compatibility in a multi-component environment
- Bounded model checking of infinite state systems
- Concurrency and atomicity
- Compositionality in dataflow synchronous languages: Specification and distributed code generation
- An operational semantics for a calculus for wireless systems
- Compositional semantics for real-time distributed computing
- $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
- An axiomatic semantics for Esterel
- Dispatch sequences for embedded control models
- The SL synchronous language, revisited
- Investigating the usability of real-time scheduling theory with the Cheddar project
- Semantics of temporal classes
- Reconciling statechart semantics
- Refinement of time
- Non-standard semantics of hybrid systems modelers
- From regular expressions to deterministic automata
- The fixed-point theory of strictly causal functions
- Turing machines, transition systems, and interaction
- A declarative view of signaling pathways
- Decidability of infinite-state timed CCP processes and first-order LTL
- Synchronous Kleene algebra
- A comparison of Statecharts step semantics
- A timed calculus for wireless systems
- scientific article; zbMATH DE number 1852153 (Why is no real title available?)
- A formal library of set relations and its application to synchronous languages
- Constructive Boolean circuits and the exactness of timed ternary simulation
- 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
- Operational semantics of a kernel of the language ELECTRE
- A metamodel for the design of polychronous systems
- Abstract interpretation of temporal concurrent constraint programs
- Bisimulation on speed: Worst-case efficiency
- From synchronous programs to symbolic representations of hybrid systems
- A framework for modeling the distributed deployment of synchronous designs
- Timed-pNets: a communication behavioural semantic model for distributed systems
- LOLA
- Foundations of Boolean stream runtime verification
- An observational theory for mobile ad hoc networks (full version)
- Continuous consensus via common knowledge
- Formal modelling and verification of GALS systems using GRL and CADP
- CLAN
- SCADE
- TTL
- Lutess
- FoCs
- Ada95
- MuTACLP
- ArchJava
- TAXYS
- SynDEx
- SugarCubes
- StreamIt
- ISDL
- ASTRAL
- E-LOTOS
- LOTOS
- POOSL
- SIGNAL
- MOTOR
- Simulink
- StateFlow
- Cheddar
- Reo
- Fiacre
- B4Free
- LMNtal
- Ptolemy
This page was built for software: Esterel
