Réécriture dans un cadre concurrent
Résumé
Ce document décrit une proposition de système de stratégies permettant la mise en oeuvre de parallélisme pour des systèmes de réécriture avec le système TOM. || This document describes a proposition of a system of strategies using concurrency for rewriting systems in TOM.