D. Borrione, M. Boubekeur, L. Mounier, M. , and A. Sirianni, Validation of Asynchronous Circuit Specifications Using IF/CADP, pp.85-10010, 2006.
DOI : 10.1007/0-387-33403-3_6
URL : https://hal.archives-ouvertes.fr/hal-00107431

*. ?????????????????????????????????????????????????????????????????????-*-), . Bit, . Bit, . Bit, . Bit et al., BIT56 i s EXTENDED BIT s o r t s BIT56 opns MK 56, pp.56-56

*. ?????????????????????????????????????????????????????????????????????-*-):, . Bit, . Bit, . Bit, . Bit et al., * ) type BIT64 i s EXTENDED BIT , BIT4 , BIT32 s o r t s BIT64 ( * ! i m p l e m e n t e d b y ADT BIT64 p r i n t e d b y ADT PRINT BIT64 * ) opns MK 64 ( * ! i m p l e m e n t e d b y MK 64 c o n s t r u c t o r * )