scientific article; zbMATH DE number 526071
From MaRDI portal
Publication:4284985
zbMATH Open0828.68038MaRDI QIDQ4284985FDOQ4284985
Authors: Nicolas Halbwachs 
Publication date: 10 March 1994
Title of this publication is not available (Why is that?)
Recommendations
Theory of programming languages (68N15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Distributed algorithms (68W15)
Cited In (51)
- Algorithmic-level specification and characterization of embedded multimedia applications with Design Trotter
- The Miracle of Reactive Programming
- Title not available (Why is that?)
- Argos: an automaton-based synchronous language
- Synchronous structures
- Title not available (Why is that?)
- Dynamic and formal verification of embedded systems: A comparative survey
- A dynamic logic with branching modalities
- Specifying and verifying reactive systems in a multi-language environment
- An axiomatic semantics for Esterel
- Formal modelling and verification of GALS systems using GRL and CADP
- Title not available (Why is that?)
- Dispatch sequences for embedded control models
- Equivalence checking 40 years after: a review of bisimulation tools
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
- 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
- Title not available (Why is that?)
- Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms
- Synchronous development of asynchronous systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Property-based testing for Spark Streaming
- REGULAR STATE MACHINES
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Probabilistic concurrent constraint programming
- Demand-driven real-time computing
- Constructive semantics for instantaneous reactions
- Continuous consensus via common knowledge
- Compositionality in dataflow synchronous languages: Specification and distributed code generation
- Testing interruptions in reactive systems
- Compositional verification of asynchronous concurrent systems using CADP
- Sampled-data supervisory control
- Model-based construction and verification of critical systems using composition and partial refinement
- Incremental bounded model checking for embedded software
- Theoretical Aspects of Computing - ICTAC 2004
- Functional reactive programming with liveness guarantees
- Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
- Automatic verification of parameterized networks of processes
- The Esterel synchronous programming language: Design, semantics, implementation
- Implementation of communicating reactive processes
- Multi-task implementation of multi-periodic synchronous programs
- Reactive concurrent programming revisited
- Synchronous programming with events and relations: The SIGNAL language and its semantics
- 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)
