Esterel
From MaRDI portal
Software:31835
swMATH20012MaRDI QIDQ31835FDOQ31835
Author name not available (Why is that?)
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