Stochastic Process Algebra with Value-Passing

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.