Results 221 to 230 of about 109,235 (253)
Some of the next articles are maybe not open access.
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
Visual representation of stochastic process algebra models
Proceedings of the 2nd international workshop on Software and performance, 2000ABSTRACT Performance models are of increasing interest to professionals whodo not have a background in mathematical analysis, it is importantto provide additional mechanisms by developers may improve theirconfidence in the models they evaluate accurately reflect thesystems they are studying.
Nigel Thomas +3 more
openaire +1 more source
Stochastically Timed Process Algebra
2009Timing aspects of concurrent and distributed systems can be expressed not only deterministically, but also probabilistically, which is particularly appropriate for shared-resource systems. When these aspects are modeled by using only exponentially distributed random variables, the stochastic process governing the system evolution over time turns out to
Alessandro Aldini +2 more
openaire +1 more source
Towards Model Checking Stochastic Process Algebra
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 +3 more sources
Stochastic process algebras – between LOTOS and Markov chains
Computer Networks and ISDN Systems, 1998Abstract 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.
Holger Hermanns +2 more
openaire +2 more sources
Structural Analysis for Stochastic Process Algebra Models
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 +1 more source
Exploiting Symmetries in Stochastic Process Algebras.
1998Stochastic Process Algebras have been introduced to enable compositional performance analysis of parallel and distributed systems. As with other high level modelling formalisms, state space explosion is a frequently observed problem, especially if the system consists of many cooperating components.
H. Hermanns, RIBAUDO, MARINA
openaire +1 more source
Extending Timed Process Algebra with Discrete Stochastic Time
2008When 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 +1 more source
A Process Algebra for (Delimited) Persistent Stochastic Non-Interference
2019In 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 +2 more sources
Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes
2001In 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
openaire +1 more source