权威例句
CIRCAL: On-line circuit designThe semantics of CircalCircal: A calculus for circuit descriptionCircal: A calculus for circuit descriptionCIRCAL and the representation of communication, concurrency, and timeCIRCAL and the representation of communication, concurrency, and timeModelling a Time-Dependent Protocol Using the Circal Process AlgebraModelling a time-dependent protocol using the Circal process algebraSpecification of timing constraints within the circal process algebraSpecification of timing constraints within the circal process algebra