Dans le cadre du projet QMIPS, il a été montré que les
systèmes linéaires dans l'algèbre 
offraient un cadre adéquat pour représenter
l'exécution de certaines classes de programmes parallèles et
analyser leurs performances. Plusieurs articles synthétisant les
résultats obtenus dans ce cadre ont été publiés [13,22,32].