Stochastic Process Algebra with Value-Passing

Author

Zheng, Guang ; Wu, Jinzhao ; Li, Lian

Author_Institution

Lanzhou Univ., Lanzhou

Volume

3

fYear

2008

fDate

12-14 Dec. 2008

Firstpage

374

Lastpage

377

Abstract

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 the systemspsila behaviors at a more detailed level. Lacking value passing, SPAs cannot specify such behaviors under conditional process expressions which are very important. Based on this, SPA (e.g. YAWN) is extended with value passing.

Keywords

Markov processes; computational linguistics; concurrency control; message passing; process algebra; concurrent system; continuous time Markovian chain; distributed system; equip process algebra; stochastic process algebra; system behavior; value-passing; Algebra; Computer applications; Computer science; Delay effects; Distribution functions; Exponential distribution; Fingerprint recognition; Permission; Software engineering; Stochastic processes; bisimulation; operational semantics; stochastic process algebra; value passing;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Science and Software Engineering, 2008 International Conference on

Conference_Location

Wuhan, Hubei

Print_ISBN

978-0-7695-3336-0

Type

conf

DOI

10.1109/CSSE.2008.520

Filename

4722363