Using the Circal process algebra in digital system design

Circal (CIRcuit CALculus) is a mathematical framework in which to describe and analyse concurrent systems and was originally developed by Milne for hardware verification. It consists of a language built from a set of operators and a set of atomic actions usually denoted by alphanumeric character strings. Atomic actions are a notion that are central to process algebras, being, as implied by their name, without structure. In Circal each term has associated with it a set of these actions called it´s sort, which are the actions with which the term interacts with the environment. The operators of Circal are described