CONCUR
2009
Springer
14 years 6 months ago
2009
Springer
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...
CONCUR
2009
Springer
14 years 6 months ago
2009
Springer
Stuttering bisimulation is a well-known behavioural equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preord...
CONCUR
2009
Springer
14 years 6 months ago
2009
Springer
CONCUR
2009
Springer
14 years 6 months ago
2009
Springer
We present a compositional method for deriving control constraints on a network of interconnected, partially observable and partially controllable plant components. The constraint ...
CONCUR
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
CONCUR
2009
Springer
14 years 6 months ago
2009
Springer
Nondeterministic weighted automata are finite automata with numerical weights on transitions. They define quantitative languages L that assign to each word w a real number L(w). ...
CONCUR
2009
Springer
14 years 6 months ago
2009
Springer
CONCUR
2009
Springer
14 years 6 months ago
2009
Springer
CONCUR
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...
CONCUR
2009
Springer
14 years 6 months ago
2009
Springer