Summary:°»Resource- & order-conscious°… type system with linear channels & time tags
- Type Inference Algorithm for Usage Annotations
(Cf. for time tag ordering [Kobayashi 97], for linear channels [Igarashi & Kobayashi 97])
- Aggressive Optimization by the Type Information
- Semantics of Time Tag Ordering
- Linear Logic with Sequencing Operator?