  We extend truly concurrent process algebra APTC with timing related
properties. Just like ACP with timing, APTC with timing also has four parts:
discrete relative timing, discrete absolute timing, continuous relative timing
and continuous absolute timing.
