[<<][compsci][>>][..]
Sun Apr 18 19:48:23 EDT 2010

Clock Calculus

In the SIGNAL paper[1] it is mentioned that a clock calculus is a
projection on the field Z_3: 0 = absence, 1 = true = presence, 2 =
false.  Weird..

The clock calculus allows then to statically verify the temporal
correctness of processes.

[1] http://www.springerlink.com/index/Y32277G7L8T61748.pdf



[Reply][About]
[<<][compsci][>>][..]