Results 131 to 140 of about 11,828,886 (169)

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
exaly   +6 more sources

Some of the next articles are maybe not open access.

Related searches:

Stochastic Process Algebra With Value-Passing

2008 International Conference on Computer Science and Software Engineering, 2008
Process 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
exaly   +3 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, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle   +3 more
core   +6 more sources

Stochastic Process Algebras – Between LOTOS and Markov Chains

Computer Networks, 1998
Abstract This paper introduces stochastic process algebras as an approach for the structured design and analysis of both the functional behavior and performance characteristics of parallel and distributed systems. This is achieved by integrating stochastic modelling and analysis into process algebras like CCS or LOTOS.
U Herzog
exaly   +4 more sources

Algebra of Generalized Stochastic Processes and the Stochastic Dirichlet Problem

Stochastic Analysis and Applications, 2008
Abstract 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   +5 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.
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, Henrik C. Bohnenkamp, Boudewijn R. Haverkort   +2 more
core   +3 more sources

Stochastic Process Algebras Meet Eden

2002
Process 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, Manuel Núñez 0001, Fernando Rubio 0001   +2 more
openaire   +2 more sources