Sciweavers

2012 search results - page 2 / 403
» CORAL - Control, Relations and Logic
Sort
View
CONCUR
2011
Springer
12 years 5 months ago
A Spectrum of Behavioral Relations over LTSs on Probability Distributions
Probabilistic nondeterministic processes are commonly modeled as probabilistic LTSs (PLTSs, a.k.a. probabilistic automata). A number of logical characterizations of the main behavi...
Silvia Crafa, Francesco Ranzato