Outline
Introduction
Basic Ideas
Usages & Usage Calculus? ¡ÈIn what way each channel may be used¡É
Time Tags & Time Tag Ordering? ¡ÈIn what order those channels may be used¡É
The Type System
Related Work
Conclusion
Previous slide
Next slide
Back to first slide
View graphic version