This tutorial
establishes a process algebra (BLA) oriented towards Basic LOTOS and CADP. It
also provides an easy introduction to Basic LOTOS and CADP, and illustrates
applications to digital systems and circuits.