87 search results - page 4 / 18 » GSOS for Probabilistic Transition Systems |
110
click to vote
FOSSACS
2007
Springer
15 years 9 months ago
2007
Springer
Desharnais, Gupta, Jagadeesan and Panangaden introduced a family of behavioural pseudometrics for probabilistic transition systems. These pseudometrics are a quantitative analogue ...
156
click to vote
ASIAN
2003
Springer
15 years 8 months ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
138
Voted
ICDCS
2009
IEEE
16 years 16 days ago
2009
IEEE
With the growing complexity in computer systems, it has been a real challenge to detect and diagnose problems in today’s large-scale distributed systems. Usually, the correlatio...
132
click to vote
ICSOC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...