(English) new paper in the journal on Formal Aspects of Computing

Désolé, cet article est seulement disponible en Anglais Américain.