Representing Time for Behavioral Description
Representing Time for Behavioral Description
- Must distinguish sequence (causality) vs. passage of time
- Continuous time variable:
A after B
A, B independent
- "Quantized" time variable:
A after B
A, B independent
A, B at the same time
where the meaning of "at the same time" is across an interval (must be valid at the end of the interval).
NSF Summer Workshop, Nov. 87