On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP
scientific article; zbMATH DE number 5509474