Esterel
From MaRDI portal
swMATH20012MaRDI QIDQ31835FDOQ31835
Author name not available (Why is that?)
Official website: http://www-sop.inria.fr/meije/esterel/esterel-eng.html
Cited In (only showing first 100 items - show all)
- 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
- CPO semantics of timed interactive actor networks
- Synchronous structures
- A denotational theory of synchronous reactive systems
- Operational semantics of a kernel of the language ELECTRE
- Logical behaviors
- 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
- JDD
- Turing machines, transition systems, and interaction
- On implementable timed automata
- Title not available (Why is that?)
- Dispatch sequences for embedded control models
- Compositional semantics for real-time distributed computing
- A declarative view of signaling pathways
- 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
- Constructive Boolean circuits and the exactness of timed ternary simulation
- From NuSMV to SPIN: Experiences with model checking flight guidance systems
- Title not available (Why is that?)
- Semantic Foundations for Deterministic Dataflow and Stream Processing
- A new notation for arrows
- Title not available (Why is that?)
- Introduction to design choices in the semantics of Statecharts
- From ATP to timed graphs and hybrid systems
- Constructive semantics for instantaneous reactions
- Control machines: A new model of parallelism for compositional specifications and their effective compilation
- Compositionality in dataflow synchronous languages: Specification and distributed code generation
- An operational semantics for a calculus for wireless systems
- Reconciling statechart semantics
- Typing termination in a higher-order concurrent imperative language
- From regular expressions to deterministic automata
- From synchronous programs to symbolic representations of hybrid systems
- A compositional axiomatization of statecharts
- 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
- Reactive concurrent programming revisited
- Abstract interpretation of temporal concurrent constraint programs
- An axiomatic semantics for the synchronous language Gentzen.
- An Observational Theory for Mobile Ad Hoc Networks
- Bounded model checking of infinite state systems
- The fixed-point theory of strictly causal functions
- What good are digital clocks?
- Turing machines, transition systems, and interaction
- LOLA
- Foundations of Boolean stream runtime verification
- Formal modelling and verification of GALS systems using GRL and CADP
- Transition system specifications with negative premises
- Coordination models Orc and Reo compared
- Title not available (Why is that?)
- Synchronous Kleene algebra
- An observational theory for mobile ad hoc networks (full version)
- A metamodel for the design of polychronous systems
- Non-standard semantics of hybrid systems modelers
- TTL
- FoCs
- Ada95
- ISDL
- Simulink
- StateFlow
- Cheddar
- Reo
- Fiacre
- B4Free
- LMNtal
- Ptolemy
- visualSTATE
- SystemC
- CESAR
- KAT-ML
- Giotto
- LUSTRE
- Pict
- Janus
- Linda
- ULM
- SysML
- MIO Workbench
- Quartz
- Fudgets
This page was built for software: Esterel
