Sentence examples for modeling concurrent systems from inspiring English sources
Process algebras are a family of formal languages for modeling concurrent systems.
In this paper, Coloured Petri Nets (CPNs) is used as the means of description for the system model because of the capability of CPNs to model concurrent systems in hierarchical way.
Similar to the procedure of modeling concurrent computational systems, biological systems can be described in the stochastic pi-calculus language.
Rewriting logic is well suited to model concurrent systems; techniques have been developed to treat time [28] and probabilistic features [20].
They are modeled as concurrent systems disposed in different layers that interact to enable conference calls.
The Process Hitting is a recently introduced framework designed for the modelling of concurrent systems.
The first temporal formalism considering a linear time structure used for model checking (concurrent systems) was Linear Temporal Logic (LTL) [ 15, 16].
Graphs and term graphs have proved strikingly flexible and expressive in modeling and specifying distributed, concurrent systems.
Petri nets have gained increasing usage and acceptance as a basic model of asynchronous concurrent systems since 1962.
To harness Pregel's power, we propose a new vertex centric distributed algorithm for explicit LTL model checking of concurrent systems.
It allows the dynamic behaviour modelling of reactive and concurrent systems.
