Results 111 to 120 of about 276,000 (165)
Stochastically evolving graphs via edit semigroups. [PDF]
Proc Natl Acad Sci U S AChung F, Robertson SJ.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Numerically Representing Stochastic Process Algebra Models
The Computer Journal, 2012Stochastic process algebras combine a high-level system description in terms of interacting components, with a rigorous low-level mathematical model in terms of a stochastic process. These have proved to be valuable modelling formalisms, particularly in the areas of performance modelling and systems biology.
Jie Ding, Jane Hillston
openaire +2 more sources
Stochastic Process Algebra with Value-Passing
2008 International Conference on Computer Science and Software Engineering, 2008Process algebras provide essential tools for studying distributed and concurrent systems. Stochastic process algebras (SPAs) equip process algebras with stochastic extensions which are perfect to analyze phenomena of the real world. With value passing, actions can be analyzed with their values. Process algebras with value passing can be used to analyze
Guang Zheng, Jinzhao Wu, Lian Li
exaly +2 more sources
Real-Time Process Algebra with Stochastic Delays
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007A real-time process algebra is presented that features stochastic delays governed by general distributions. In a setting of weak choice, dependent and independent alternative and parallel composition are distinguished. This enables an expansion law for the parallel operator, as well as modular process definitions. The interplay of real-time, stochastic
J. Markovski (Jasen) +1 more
exaly +5 more sources
Towards Model Checking Stochastic Process Algebra
International Conference on Integrated Formal Methods, 2000Stochastic process algebras have been proven useful because they allow behaviour-oriented performance and reliability modelling. As opposed to traditional performance modelling techniques, the behaviour- oriented style supports composition and abstraction in a natural way.
Holger Hermanns +3 more
openaire +4 more sources
Time-Parallel Simulation for Stochastic Automata Networks and Stochastic Process Algebra
Analytical and Stochastic Modeling Techniques and Applications, 2014Time Parallel Simulation (TPS) is the construction of the time-slices of a sample-path on a set of parallel processors (see [11] chap. 6 and references therein). TPS has a potential to massive parallelism as the number of logical processes is only limited by the number of time intervals which is a direct consequence of the time granularity and the ...
Thu-Ha Dao-Thi +2 more
openaire +2 more sources
Structural Analysis for Stochastic Process Algebra Models
International Conference on Algebraic Methodology and Software Technology, 2011Stochastic process algebra models have been successfully used in the area of performance modelling for the last twenty years, and more recently have been adopted for modelling biochemical processes in systems biology. Most research on these modelling formalisms has been on quantitative analysis, particularly the derivation of quantified dynamic ...
Jie Ding, Jane Hillston
openaire +2 more sources
Product form solution for an insensitive stochastic process algebra structure
Performance Evaluation, 2002J Hillston
exaly +2 more sources
Stochastic Process Algebra Based Software Process Simulation Modeling
International Conference on the Software Process, 2009In recent years, simulation techniques that have been widely used in many other disciplines are being increasingly used in analyzing software processes. However, researchers from software process simulation community tend to build a separate new model with various technologies from traditional software models.
Jian Zhai +5 more
openaire +2 more sources