The following pages link to Esterel (Q31835):
Displaying 50 items.
- Foundations of Boolean stream runtime verification (Q278752) (← links)
- Formal modelling and verification of GALS systems using GRL and CADP (Q315303) (← links)
- Compatibility in a multi-component environment (Q383353) (← links)
- SAT-based verification for timed component connectors (Q433331) (← links)
- Non-standard semantics of hybrid systems modelers (Q439952) (← links)
- Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems (Q440664) (← links)
- A dynamic deontic logic for complex contracts (Q444496) (← links)
- Constructive Boolean circuits and the exactness of timed ternary simulation (Q453539) (← links)
- From regular expressions to deterministic automata (Q580983) (← links)
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- Constructive semantics for instantaneous reactions (Q631753) (← links)
- A timed calculus for wireless systems (Q650891) (← links)
- A formal library of set relations and its application to synchronous languages (Q654904) (← 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)
- 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)
- A metamodel for the design of polychronous systems (Q1014564) (← links)
- Investigating the usability of real-time scheduling theory with the Cheddar project (Q1033676) (← links)
- Compositional semantics for real-time distributed computing (Q1119027) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- Control machines: A new model of parallelism for compositional specifications and their effective compilation (Q1177148) (← links)
- A denotational theory of synchronous reactive systems (Q1193599) (← links)
- Operational semantics of a kernel of the language ELECTRE (Q1193858) (← links)
- A compositional axiomatization of statecharts (Q1194330) (← links)
- From ATP to timed graphs and hybrid systems (Q1323313) (← links)
- From regular expressions to DFA's using compressed NFA's (Q1391526) (← 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)
- Primitives for authentication in process algebras. (Q1603653) (← links)
- Timed-pNets: a communication behavioural semantic model for distributed systems (Q1633067) (← 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)
