Sous cette vedette, on trouve les documents sur les modèles mathématiques de dispositifs
intégrés à un système logique selon un algorithme donné. Cette théorie mathématique
sert à la représentation des dispositifs, mais ne s'intéresse aucunement à leur aspect
matériel