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

[Last updated: Wed Jun 18 10:27:15 CEST 2025]

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