Mots-clés:
Évaluation des performances, modélisation, réseaux d'automates stochastiques, algèbres de processus, systèmes à grand espace d'états, temps discret, temps continu, chaînes de Markov, solution stationnaire.
Programmation parallèle et distribuée, programmation structurée haut niveau, squelettes algorithmiques, grilles d'ordinateurs, clusters.