@article{ITA_1996__30_4_295_0, author = {Geniet, Dominique and Schott, Ren\'e and Thimonier, Lo\"ys}, title = {A Markovian concurrency measure}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, volume = {30}, year = {1996}, pages = {295-304}, mrnumber = {1427936}, zbl = {0867.68049}, language = {en}, url = {http://dml.mathdoc.fr/item/ITA_1996__30_4_295_0} }
Geniet, Dominique; Schott, René; Thimonier, Loÿs. A Markovian concurrency measure. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 30 (1996) pp. 295-304. http://gdmltest.u-ga.fr/item/ITA_1996__30_4_295_0/
1. Finite transition System, Prentice Hall, 1994. | Zbl 0796.68141
,2. Comportements de processus L.I.T.P., Rapport No. 82-12, Univ. Paris, France.
and ,3. On a concurrency measure, LRI Orsay Techn. Report No. 288, 1986, and 2nd I.S.C.I.S. proc, Istanbul 1987, Turkey, pp. 211-225.
, and ,4. Langages algébriques, Masson, 1987. | MR 888601
,5. Mesures de la concurrence et du parallélisme des calculs répartis, Thèse, Univ. Paris-VII, France, 1989.
,6. Automata, languages and machines, Academic Press, 1976.
,7. An introduction to probability theory, Addison-Wesley, 1968.
,8. Analyse d'algorithmes de manipulation d'arbres et de fichiers, B.U.R.O. Cahiers, 34-35, 1981.
,9. Dynamic data structures with finite population: a combinatorial analysis, F.C.T'89 proc, L.N.C.S. 380, pp. 162-174. | MR 1033545 | Zbl 0756.68023
, and ,10. A quantitative approach of mutual exclusion, R.A.I.R.O. Theoretical Informatics and Applications, No, 20, 1986, pp. 275-289. | Numdam | MR 894715 | Zbl 0602.68024
,11. Using generating functions to compute concurrency, F.C.T.'89 proc, L.N.C.S., 380, pp. 185-196. | MR 1033547 | Zbl 0757.68053
and ,12. Automaf: un système de construction d'automates synchronisés et de calcul de mesure du parallélisme, Thesis, Univ. Paris-XI, France, 1989.
,13. Dynamic algorithms in D. E. Knuth's model: a probabilistic analysis, I.C.A.L.P.'89 proc., L.N.C.S., 372, pp. 521-533, Stresa, Italy, 1989, full version in T.C.5., 93, 1992, pp. 210-225. | MR 1037073 | Zbl 0746.68041
, and ,14. Construire les algorithmes, Dunod Informatique, 1988.
, and ,