Achieving Discrete Relative Timing with Untimed Process Algebra.

Anton Wijs Achieving Discrete Relative Timing with Untimed Process Algebra. 35-46 2007 conf/iceccs/2007 ICECCS http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.13 db/conf/iceccs/iceccs2007.html#Wijs07