Discussion:Algèbre de processus

Objectifs de la page

Il s'agit, à mon avis, de réussir à synthétiser l'essence des algèbres de processus. Il faut trouver un bon compromis entre ce qui est général (et devrait donc figurer sur cette page), qui puisse être compris par un non-spécialiste, à l'aide d'exemple; sans pour autant détailler un calcul en particulier (qui devrait avoir une page dédiée). Pour le moment, j'ai commencé à tenter de donner l'intuition derrière les constructions habituelles. J'imagine aussi une section sur les principaux resultats (ici encore, il ne s'agit pas de donner les résultats pour un calcul en particulier, mais le genre de résultats que l'on souhaite/obtient souvent) et les questions actives. Peut-être aussi une section sur l'aspect "algébrique" des calculs, mais j'aurai sans doute besoin d'un peu d'aide pour cette dernière. Bromind (discuter) 17 août 2022 à 19:22 (CEST)