We report on the state of the art in the formal specification and analysis of concurrent systems whose activity duration depends on general probability distributions. First of all the basic notions and results introduced in the literature are explained and, on this basis, a conceptual classification of the different approaches is presented. We observe that most of the approaches agree on the fact that the specification of systems with general distributions has a three level structure: the process algebra level, the level of symbolic semantics and the level of concrete semantics. Based on such observations, a new very expressive model is introduced for representing timed systems with general distributions. We show that many of the approaches...
AbstractThis paper surveys the theoretical developments in the field of stochastic process algebras,...
We discuss a new model for the analysis and simulation of stochastic systems which we call stochasti...
This paper surveys the theoretical developments in the field of stochastic process algebras, process...
We report on the state of the art in the formal specification and analysis of concurrent systems who...
We present a process algebra for the performance modeling and evaluation of concurrent systems whose...
This paper is an informal tutorial on stochastic process algebras, i.e., process calculi where actio...
Abstract. This paper is an informal tutorial on stochastic process alge-bras, i.e., process calculi ...
AbstractA formal approach for the specification and analysis of concurrent systems is proposed which...
Abstract. We present a process algebra for the performance modeling and evaluation of concurrent sys...
We introduce a framework to study stochastic systems, i.e. systems in which the time of occurrence o...
AbstractThis paper introduces (pronounce spades), a stochastic process algebra for discrete event sy...
This paper introduces (pronounce spades), a stochastic process algebra for discrete-event systems, t...
) Pedro R. D'Argenio 1 , Joost-Pieter Katoen 2 , and Ed Brinksma 1 1 Dept. of Computer Science....
We discuss a new model for the analysis and simulation of stochastic systems which we call stochasti...
We introduce a unifying framework to provide the semantics of process algebras, including their quan...
AbstractThis paper surveys the theoretical developments in the field of stochastic process algebras,...
We discuss a new model for the analysis and simulation of stochastic systems which we call stochasti...
This paper surveys the theoretical developments in the field of stochastic process algebras, process...
We report on the state of the art in the formal specification and analysis of concurrent systems who...
We present a process algebra for the performance modeling and evaluation of concurrent systems whose...
This paper is an informal tutorial on stochastic process algebras, i.e., process calculi where actio...
Abstract. This paper is an informal tutorial on stochastic process alge-bras, i.e., process calculi ...
AbstractA formal approach for the specification and analysis of concurrent systems is proposed which...
Abstract. We present a process algebra for the performance modeling and evaluation of concurrent sys...
We introduce a framework to study stochastic systems, i.e. systems in which the time of occurrence o...
AbstractThis paper introduces (pronounce spades), a stochastic process algebra for discrete event sy...
This paper introduces (pronounce spades), a stochastic process algebra for discrete-event systems, t...
) Pedro R. D'Argenio 1 , Joost-Pieter Katoen 2 , and Ed Brinksma 1 1 Dept. of Computer Science....
We discuss a new model for the analysis and simulation of stochastic systems which we call stochasti...
We introduce a unifying framework to provide the semantics of process algebras, including their quan...
AbstractThis paper surveys the theoretical developments in the field of stochastic process algebras,...
We discuss a new model for the analysis and simulation of stochastic systems which we call stochasti...
This paper surveys the theoretical developments in the field of stochastic process algebras, process...