Truly Concurrent Process Algebra with Timing

09/05/2017

∙

by   Yong Wang, et al.

∙

0

∙

share

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.