J'ai écrit un noyau générique pour interprètes CCS (Calculus of Communicating Systems) en Objective Caml.

Si ça intéresse des gens, voici un mini rapport présentant et contenant l'implantation...