Communicating sequential processes
Communicating sequential processes
A calculus of mobile processes, I
Information and Computation
Theoretical Computer Science
Process algebra for performance evaluation
Theoretical Computer Science
Communication and Concurrency
Markovian models for performance and dependability evaluation
Lectures on formal methods and performance analysis
Process algebra and Markov chains
Lectures on formal methods and performance analysis
Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93
Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Model-Checking Algorithms for Continuous-Time Markov Chains
IEEE Transactions on Software Engineering
Process Algebras for Quantitative Analysis
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)
A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)
Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems
DSN '07 Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
Characterising Testing Preorders for Finite Probabilistic Processes
LICS '07 Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science
Model checking mobile stochastic logic
Theoretical Computer Science
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
Trustworthy Global Computing
Rate-Based Transition Systems for Stochastic Process Calculi
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Rate-Based Transition Systems for Stochastic Process Calculi
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
On a Uniform Framework for the Definition of Stochastic Process Languages
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic processes
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
The how and why of interactive Markov chains
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Osteoporosis: a multiscale modeling viewpoint
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
On quantitative security policies
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
A unifying formal basis for the SENSORIA approach: a white paper
Rigorous software engineering for service-oriented systems
SoSL: a service-oriented stochastic logic
Rigorous software engineering for service-oriented systems
Approximating Markovian testing equivalence
Theoretical Computer Science
Structural operational semantics for stochastic and weighted transition systems
Information and Computation
A uniform definition of stochastic process calculi
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
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 *** -calculus can be provided that guarantees associativity of parallel composition.