Views provided by UsageCounts
handle: 20.500.14243/120748 , 11581/405027 , 2158/386353
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition relation used in our variant associates to each process, for each action, the set of possible futures paired with a measure indicating their rates. We show how RTS can be used for providing the operational semantics of stochastic extensions of classical formalisms, namely CSP and CCS. We also show that our semantics for stochastic CCS guarantees associativity of parallel composition. Similarly, in contrast with the original definition by Priami, we argue that a semantics for stochastic pi-calculus can be provided that guarantees associativity of parallel composition.
QA75 Electronic computers. Computer science, SOS, 68Q85 Models and methods for concurrent and distributed computing (process algebras, transition nets, Stochastic Process Algebra, Structured Operational Semantics, bisimulation, etc.), D.2.4 Software/Program Verification (formal methods), Rate-Based Transition Systems, Formal Semantics
QA75 Electronic computers. Computer science, SOS, 68Q85 Models and methods for concurrent and distributed computing (process algebras, transition nets, Stochastic Process Algebra, Structured Operational Semantics, bisimulation, etc.), D.2.4 Software/Program Verification (formal methods), Rate-Based Transition Systems, Formal Semantics
| 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). | 20 | |
| 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). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
| views | 10 |

Views provided by UsageCounts