Sentence examples for concurrent reactive from inspiring English sources

Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems.

A low level (concurrent reactive assembly) language has been specified to model embedded applications, which are executable directly on the HiDRA platform.

Therefore, many researchers have proposed to use process calculi, a cornerstone of current foundational research on specification and analysis of concurrent, reactive, and distributed systems.

A new technique is described in the synthesis of thin films of Ti1−xSixNy based on the concurrent reactive deposition of Ti produced by a cathodic arc source and Si produced by a d.c.

The asynchronous computation model of DASM defines concurrent and reactive behavior, as observable in distributed computations performed by autonomously operating computational agents, according to the underlying semantic model.

For BCS modelling we encourage the use of graphical languages, where prime examples that are also formally grounded include the statecharts [78, 79] and the live sequence charts [80], which were intended for describing concurrent and reactive systems.

Since infinite computations are formally represented by models of the linear time logic LTL, while non-determinism modelled by branching time is an inherent feature of many computer science applications, both LTL and the computation tree logics CTL and CTL* have been very important for specification and verification of concurrent and reactive systems.

A further problem that limits NO quantification in general is the concurrent presence of reactive oxygen species (ROS).