Pages that link to "Item:Q1196296"
From MaRDI portal
The following pages link to The Esterel synchronous programming language: Design, semantics, implementation (Q1196296):
Displaying 50 items.
- Esterel (Q31835) (← links)
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- Constructive semantics for instantaneous reactions (Q631753) (← links)
- Efficient verification of distributed real-time systems with broadcasting behaviors (Q656082) (← links)
- Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change (Q656853) (← links)
- Compilation of the ELECTRE reactive language into finite transition systems (Q673127) (← links)
- Transition system specifications with negative premises (Q685387) (← links)
- Turing machines, transition systems, and interaction (Q703844) (← links)
- Synchronous Kleene algebra (Q710676) (← links)
- Introduction to design choices in the semantics of Statecharts (Q750133) (← links)
- Dispatch sequences for embedded control models (Q858316) (← links)
- The SL synchronous language, revisited (Q864504) (← links)
- From NuSMV to SPIN: Experiences with model checking flight guidance systems (Q883136) (← links)
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- An operational semantics for a calculus for wireless systems (Q964487) (← links)
- Typing termination in a higher-order concurrent imperative language (Q979082) (← links)
- Typing noninterference for reactive programs (Q997991) (← links)
- Reconciling statechart semantics (Q1001804) (← links)
- Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications (Q1004062) (← links)
- Fully abstract models and refinements as tools to compare agents in timed coordination languages (Q1004066) (← links)
- Reactive mode handling of flexible manufacturing systems (Q1005184) (← links)
- An observational theory for mobile ad hoc networks (full version) (Q1012124) (← links)
- Synchronous programming with events and relations: The SIGNAL language and its semantics (Q1183545) (← links)
- A denotational theory of synchronous reactive systems (Q1193599) (← links)
- A compositional \(\mu\)-calculus proof system for statecharts processes (Q1285661) (← links)
- TTL: A modular language for hardware/software systems design. (Q1400574) (← links)
- An axiomatic semantics for the synchronous language Gentzen. (Q1400575) (← links)
- Refinement of time (Q1589580) (← links)
- The Verus language: Representing time efficiently with BDDs (Q1589589) (← links)
- Event algebra for transition systems composition application to timed automata (Q1656550) (← links)
- A methodology to take credit for high-level verification during RTL verification (Q1696592) (← links)
- A semantic theory of the Internet of things (Q1706144) (← links)
- Compiling and verifying SC-SystemJ programs for safety-critical reactive systems (Q1749143) (← links)
- Decidability of infinite-state timed CCP processes and first-order LTL (Q1763732) (← links)
- Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation (Q1779321) (← links)
- On disjunction of literals in triggers of statecharts transitions. (Q1853160) (← links)
- A comparison of Statecharts step semantics (Q1853596) (← links)
- A timed concurrent constraint language. (Q1854359) (← links)
- Semantics of temporal classes (Q1854386) (← links)
- Specification and analysis of synchronous reactions (Q1882806) (← links)
- Interpreting message flow graphs (Q1904641) (← links)
- Continuous consensus via common knowledge (Q1954252) (← links)
- Implementation of communicating reactive processes (Q1960444) (← links)
- Linear time-dependent constraints programming with MSVL (Q2015809) (← links)
- Algebraic quantitative semantics for efficient online temporal monitoring (Q2044210) (← links)
- A synchronous effects logic for temporal verification of pure Esterel (Q2234089) (← links)
- Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms (Q2251408) (← links)
- Asynchronous stream processing with S-Net (Q2269910) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494) (← links)
