226
Voted
CONCUR
15 years 10 months ago
2001 Springer 
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
170
click to vote
CONCUR
15 years 10 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 ...
191
click to vote
CONCUR
15 years 10 months ago
2001 Springer 
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system....
173
click to vote
CONCUR
15 years 10 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....
|
Distributed And Parallel Computing