182
click to vote
CONCUR
15 years 6 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...
128
click to vote
CONCUR
15 years 6 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 ...
141
click to vote
CONCUR
15 years 6 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....
132
click to vote
CONCUR
15 years 6 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