-- CADP (CONSTRUCTION AND ANALYSIS OF DISTRIBUTED PROCESSES)
-- http://cadp.inria.fr

[Last updated: Tue Jan 27 15:39:57 CET 2015]

This example was archived because it was old and too simple to illustrate
the capabilities of CADP. This directory is left temporarily empty.