* Explains process algebra and protocol specification using µ CRL, a language developed to combine process algebra and abstract data types
* Tex...
his paper discuss how to design data acquisition and process system based
on USB Transmitting. We further introduce some system’s structure such as ...