Numerically Representing A Stochastic Process Algebra

Details Numerically Representing A Stochastic Process Algebra Numerically Representing A Stochastic Process Algebra

2010-12-13

arxiv.org/abs/1012.3040v1

Computer Science

Logic in Computer Science

Scientific paper

The syntactic nature and compositionality characteristic of stochastic process algebras make models to be easily understood by human beings, but not convenient for machines as well as people to directly carry out mathematical analysis and stochastic simulation. This paper presents a numerical representation schema for the stochastic process algebra PEPA, which can provide a platform to directly and conveniently employ a variety of computational approaches to both qualitatively and quantitatively analyse the models. Moreover, these approaches developed on the basis of the schema are demonstrated and discussed. In particular, algorithms for automatically deriving the schema from a general PEPA model and simulating the model based on the derived schema to derive performance measures are presented.

Affiliated with

Also associated with

No associations

Rating

Numerically Representing A Stochastic Process Algebra does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Numerically Representing A Stochastic Process Algebra, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Numerically Representing A Stochastic Process Algebra will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-27954