scientific article; zbMATH DE number 526071
From MaRDI portal
Publication:4284985
Recommendations
Cited in
(54)- Reactive mode handling of flexible manufacturing systems
- Synchronous programming with events and relations: The SIGNAL language and its semantics
- The Esterel synchronous programming language: Design, semantics, implementation
- An axiomatic semantics for the synchronous language Gentzen.
- Incremental bounded model checking for embedded software
- A timed concurrent constraint language.
- Compositionality in dataflow synchronous languages: Specification and distributed code generation
- Testing interruptions in reactive systems
- Continuous consensus via common knowledge
- Implementation of communicating reactive processes
- Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms
- Compositional verification of asynchronous concurrent systems using CADP
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
- Algorithmic-level specification and characterization of embedded multimedia applications with Design Trotter
- Synchronous structures
- Concurrency in synchronous systems
- Dynamic and formal verification of embedded systems: A comparative survey
- Demand-driven real-time computing
- Specifying and verifying reactive systems in a multi-language environment
- Formal modelling and verification of GALS systems using GRL and CADP
- Real time programming. Languages, specification and verification.
- The Miracle of Reactive Programming
- scientific article; zbMATH DE number 4082959 (Why is no real title available?)
- scientific article; zbMATH DE number 4124989 (Why is no real title available?)
- scientific article; zbMATH DE number 1361139 (Why is no real title available?)
- Argos: an automaton-based synchronous language
- scientific article; zbMATH DE number 2080750 (Why is no real title available?)
- scientific article; zbMATH DE number 1487628 (Why is no real title available?)
- REGULAR STATE MACHINES
- scientific article; zbMATH DE number 1760145 (Why is no real title available?)
- scientific article; zbMATH DE number 1760146 (Why is no real title available?)
- scientific article; zbMATH DE number 1760147 (Why is no real title available?)
- scientific article; zbMATH DE number 2165687 (Why is no real title available?)
- scientific article; zbMATH DE number 1569131 (Why is no real title available?)
- scientific article; zbMATH DE number 1858610 (Why is no real title available?)
- Sampled-data supervisory control
- scientific article; zbMATH DE number 1390244 (Why is no real title available?)
- Property-based testing for Spark Streaming
- Uniformity for the decidability of hybrid automata
- Functional reactive programming with liveness guarantees
- Reactive concurrent programming revisited
- Theoretical Aspects of Computing - ICTAC 2004
- Automatic verification of parameterized networks of processes
- An axiomatic semantics for Esterel
- Probabilistic concurrent constraint programming
- Synchronous development of asynchronous systems
- A dynamic logic with branching modalities
- Equivalence checking 40 years after: a review of bisimulation tools
- Constructive semantics for instantaneous reactions
- Model-based construction and verification of critical systems using composition and partial refinement
- Multi-task implementation of multi-periodic synchronous programs
- Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
- Compositionality in dataflow synchronous languages: specification \& code generation
- Dispatch sequences for embedded control models
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4284985)
