Outline
Introduction
Basic Ideas
Linear Channels [Kobayashi et al. 96]
Time Tags [Kobayashi 97]
Formalization in process calculi
Extension by Usage Annotations [Sumii & Kobayashi 98]
Conclusion
Previous slide
Next slide
Back to first slide
View graphic version