14 search results - page 1 / 3 » concur 2001 |
CONCUR
2001
Springer
13 years 9 months ago
2001
Springer
CONCUR
2001
Springer
13 years 9 months ago
2001
Springer
CONCUR
2001
Springer
13 years 9 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
CONCUR
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. In this paper we discuss the role of labels in transition systems with regard to bisimilarity and model checking problems. We suggest a general reduction from labelled tr...
CONCUR
2001
Springer
13 years 9 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 ...