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