1024 search results - page 4 / 205 » Compositional Methods for Probabilistic Systems |
113
click to vote
ENTCS
2011
14 years 8 months ago
2011
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus...
116
click to vote
ESORICS
2002
Springer
16 years 24 days ago
2002
Springer
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...
108
click to vote
IPL
2007
15 years 1 months ago
2007
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic systems operating in parallel is EXPTIME-complete. We then show that this prob...
132
click to vote
FORMATS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
119
click to vote
CONCUR
2001
Springer
15 years 5 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...