Results 241 to 250 of about 4,616 (278)
Real-Time Process Algebra with Stochastic Delays
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007 A 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 +6 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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
Towards Model Checking Stochastic Process Algebra [PDF]
, 2000 Stochastic 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
Extending Timed Process Algebra with Discrete Stochastic Time
, 2008 When extending timed process algebra with discrete stochastic time, typical standard notions like time additivity are hard to preserve in the presence of the race condition. We propose context-sensitive interpolation as a restricted form of time additivity to accommodate the extension with stochastic time.
Markovski, J., Vink, de, E.P.
core +3 more sources
Algebra of Generalized Stochastic Processes and the Stochastic Dirichlet Problem
Stochastic Analysis and Applications, 2008Abstract Following the embedding idea of generalized functions into the Colombeau algebra of generalized functions, we construct a new algebra of generalized stochastic processes and denote it (W 2,2;(S)−1). This is done by using the chaos expansion form of generalized stochastic processes regarded as linear continuous mappings from the Sobolev space ...
Dora Selesi
exaly +2 more sources
A Process Algebra for (Delimited) Persistent Stochastic Non-Interference
, 2019 In this paper, we consider the information flow security properties named Persistent Stochastic Non-Interference (PSNI) and Delimited Persistent Stochastic Non-Interference (D_PSNI) for stochastic cooperating processes described as terms of the Performance Evaluation Process Algebra (PEPA).
Marin A., Piazza C., Rossi S.
openaire +3 more sources
Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes [PDF]
, 2001 In this paper, the concept of complete finite prefixes for process algebra expressions is extended to stochastic models. Events are supposed to happen after a delay that is determined by random variables assigned to the preceding conditions. Max-plus algebra expressions are shown to provide an elegant notation for stochastic prefixes not containing any
Lucia Cloth +2 more
core +3 more sources
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 +1 more source
Stochastic Process Algebras Meet Eden
2002Process algebras represent an appropriate mechanism to formally specify concurrent systems. In order to get a thorough knowledge of these systems, some external formalism must be used. In this paper we propose an integrated framework where a (non-trivial) process algebra is combined with a (concurrent) functional language.
Natalia López +2 more
openaire +1 more source
Stochastic Petri net semantics for stochastic process algebras
Proceedings 6th International Workshop on Petri Nets and Performance Models, 2002We define a stochastic Petri net (SPN) semantics for stochastic process algebras (SPAs), a recently introduced formalism that offers a novel approach for performance modeling. The proposed semantics is evaluated in terms of three criteria: concurrency and retrievability, as defined by Olderog (1987, 1991) for untimed net semantics, and Markov ...
openaire +1 more source