A MARKOVIAN CONCURRENCY MEASURE

摘要

We show how to modelize concurrency between several processors in terms of automata and Markov chains; then, we define a concurrency measure which reflects more faithfully the behaviour of the processes and is in addition easy to compute with a symbolic manipulator like Maple (this is an improvement over a previous measure whose computation appears to be expensive.%Nous montrons comment modéliser la concurrence entre plusieurs processeurs en termes d'automates et de chaînes de Markov; ensuite nous définissons une mesure de concurrence qui reflète plus fidèlement le comportement des processus et qui de plus est facile à calculer avec un logiciel de calcul symbolique comme Maple (ce qui constitue une amélioration par rapport à une mesure antérieure dont le calcul était coûteux).