Bisimulation through probabilistic testing
Information and Computation
A LOTOS extension for the performance analysis of distributed systems
IEEE/ACM Transactions on Networking (TON)
A compositional approach to performance modelling
A compositional approach to performance modelling
Theoretical Computer Science
Process Algebra with Timing
General distributions in process algebra
Lectures on formal methods and performance analysis
Time and Probability in Process Algebra
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
An Overview and Synthesis on Timed Process Algebras
Proceedings of the Real-Time: Theory in Practice, REX Workshop
A theory of stochastic systems part I: Stochastic automata
Information and Computation
A theory of Stochastic systems. Part II: Process algebra
Information and Computation
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Extending Timed Process Algebra with Discrete Stochastic Time
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
| Hi-index | 0.00 |
We present a stochastic process algebra including immediate actions, deadlock and termination, and explicit stochastic delays, in the setting of weak choice between immediate actions and passage of time. The operational semantics is a spent time semantics, avoiding explicit clocks. We discuss the embedding of weak-choice real-time process theories and analyze the behavior of parallel composition in the weak choice framework