Add to ORKGWe present two applications of the stochastically timed process algebra EMPA. The first one is concerned with the compositional modeling of the CSMA/CD protocol and the determination of its utilization. The second one is concerned with the description of a queueing system representing a computing center where failures and repairs can occur, and the compositional assessment of its performability. In both cases, the technique of rewards is used to determine performance measures
We present an application of the stochastically timed process algebra EMPAr to the performance model...
A formal approach for modeling and analyzing concurrent systems is proposed which integrates perform...
. EMPA enhances the expressiveness of classical process algebras by integrating functional and perfo...
We present two applications of the stochastically timed process algebra EMPA. The first one is conce...
We present an application of the integrated approach based on the stochastically timed process algeb...
We present a simple method to associate rewards with terms of the stochastic process algebra EMPA in...
AbstractIn this tutorial we give an overview of the process algebra EMPA, a calculus devised in orde...
Abstract. We present a simple method to associate rewards with terms of the stochastic process algeb...
In this tutorial we give an overview of the process algebra EMPA, a calculus devised in order to mod...
grant no. 95306547The performance modeller may attempt to quantitatively analyse the behaviour of co...
We present an application of the stochastically timed process algebra EMPAr to the performance model...
An integrated approach for modeling and analyzing functional and performance properties of concurren...
We present an application of the integrated approach based on the stochastically timed process algeb...
We present an application of the stochastically timed process algebra EMPAr to the performance model...
A formal approach for modeling and analyzing concurrent systems is proposed which integrates perform...
. EMPA enhances the expressiveness of classical process algebras by integrating functional and perfo...
We present two applications of the stochastically timed process algebra EMPA. The first one is conce...
We present an application of the integrated approach based on the stochastically timed process algeb...
We present a simple method to associate rewards with terms of the stochastic process algebra EMPA in...
AbstractIn this tutorial we give an overview of the process algebra EMPA, a calculus devised in orde...
Abstract. We present a simple method to associate rewards with terms of the stochastic process algeb...
In this tutorial we give an overview of the process algebra EMPA, a calculus devised in order to mod...
grant no. 95306547The performance modeller may attempt to quantitatively analyse the behaviour of co...
We present an application of the stochastically timed process algebra EMPAr to the performance model...
An integrated approach for modeling and analyzing functional and performance properties of concurren...
We present an application of the integrated approach based on the stochastically timed process algeb...
We present an application of the stochastically timed process algebra EMPAr to the performance model...
A formal approach for modeling and analyzing concurrent systems is proposed which integrates perform...
. EMPA enhances the expressiveness of classical process algebras by integrating functional and perfo...