
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.
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
